Results 1 to 10 of about 94,591 (293)
Формы реализации пропозиционального аргумента в русских предложениях с ментальными глаголами: „соблюдение”, „компрессия”, „расщепление” [PDF]
Studia Rossica Posnaniensia, 2018 The subject of the article is the mental verbs (verbs of knowledge, understanding and thinking) of the modern Russian language, treated in terms of syntactic valence.
Aleksander Kiklewicz
doaj +3 more sources
Quantified CTL: Expressiveness and Complexity [PDF]
Logical Methods in Computer Science, 2014 While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke structure or to ...
François Laroussinie, Nicolas Markey
doaj +3 more sources
Proof-graphs for Minimal Implicational Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs.
Marcela Quispe-Cruz +2 more
doaj +4 more sources
Two Models of Propositional Structure
Studia Semiotyczne, 2020 This paper is a comparison of two structural theories of propositions: the theory proposed by Kazimierz Ajdukiewicz in the 1960s and the theory developed by Jeffrey King at the beginning of the 21st century.
doaj +1 more source
Вестник Кемеровского государственного университета, 2021 Propositional frame-based modeling is one of the most effective methods of cognitive linguistics. This method considers the interaction between the semantic and cognitive aspects of units of two typologically different languages, e.g. Russian and Chinese,
Guo Li Hong, F. E. Abdullayeva
doaj +1 more source
Вестник Кемеровского государственного университета, 2021 Propositional frame-based modeling is one of the most effective methods of cognitive linguistics. This method considers the interaction between the semantic and cognitive aspects of units of two typologically different languages, e. g.
L. Hong
doaj +1 more source
Kazakh Compound Anthroponyms with a Verbal Element: Propositional Structure
Вопросы ономастики, 2022 The article deals with the semantics of Kazakh compound anthroponyms with the Subst + Verb structure. Such names retain syntactic relations of the original motivating sentence. Thus, the full name inherits propositional features of the verb component and
Zifa K. Temirgazina +1 more
doaj +1 more source
PROPOSITIONAL ANALYSIS AS A WAY OF REVEALING UNDERLYING CULTURAL MEANINGS IN THE TEXT OF OMENS
Sovremennye Issledovaniâ Socialʹnyh Problem, 2023 Background. The importance of the study is due to the attention to the picture of the world, the logic of mythopoetic thinking and mythopoetic representations of nature inherent in the Russian folk consciousness. Purpose. The article analyses the types
Liang Mengjie
doaj +1 more source
Why the Content of Animal Thought Cannot Be Propositional
Análisis Filosófico, 2018 In “Steps toward Origins of Propositional Thought”, Burge claims that animals of different species are capable of making deductive inferences. According to Burge, that is why propositional thought is extended beyond the human mind to the minds of other ...
Mariela Aguilera
doaj +1 more source
Formal concept analysis and structures underlying quantum logics [PDF]
, 2018 A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal C(H)$, is important in the
B Ganter +11 more
core +1 more source