Results 21 to 30 of about 6,875,268 (299)
Communications in Mathematical Physics, 1974 A generalization of the superposition principle of quantum mechanics is proposed introducing the concept of maximal state of a logic.
Berzi, Vittorio, Zecca, Antonio
openaire +2 more sources
The Intertwinement of Propositional and Doxastic Justification [PDF]
, 2017 One important distinction in the debate over epistemic justification is the one between propositional and doxastic justification. Roughly, while doxastic justification is a property of beliefs, propositional justification is a property of propositions ...
Melis, Giacomo, Giacomo Melis
core +1 more source
Struktura predykatowo-argumentowa jako narzędzie analizy tekstu: pro et contra
Studia z Filologii Polskiej i Słowiańskiej, 2017 The predicate-argument structure as a tool for text analysis: pro et contra The aim of the present paper is to take part in the discussion about semantic syntax, also known as predicate-argument syntax on account of its key concepts.
Dorota Szumska
doaj +1 more source
Jaccard Distance of Logical Formulas and Its Application
Jisuanji kexue yu tansuo, 2020 Quantifying the related concepts of propositional logic is a new method of propositional logic research. It is differe.nt from the syntax and semantics method and is a powerful tool for studying the structure of propositional sets.
YU Peng
doaj +1 more source
Vocatives: correlating the syntax and discourse at the interface
Cogent Arts & Humanities, 2018 Vocative expressions have been neglected in linguistic inquiry until very recently. This article provides a novel approach to the study of vocatives based on correlating the syntax and discourse at the interface.
Mohammed Q. Shormani +1 more
doaj +1 more source
Propositional Gerunds in English and Spanish
Journal of English Studies, 2011 This paper offers a characterization of Propositional Gerunds in English and Spanish that hinges on the different feature specification of the gerund morpheme in each language.
Ana Ojea
doaj +1 more source
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic [PDF]
, 2004 Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents.
Howard Bowman +3 more
core +1 more source
Peculiarities of Multilanguage Communication in Kosh-Agach District of the Republic of Altai
Polylinguality and Transcultural Practices, 2018 This article is about the language situation that has developed in Kosh-Agach district of the Republic of Altay, where Altaians, Kazakhs and Russians coexist.
Ludmila Alekseevna Araeva +1 more
doaj +1 more source
On the Structure of Quantal Proposition Systems
, 1975 It is shown that the axiom of atomicity and the covering law can be justified on the basis of a new and more satisfactory notion of state and the existence of ideal measurements of the first kind. These two axioms are thereby given a satisfactory justification in terms of empirical facts known about micro-systems.
Jauch, Joseph-Maria, Piron, Constantin
openaire +2 more sources
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source