Results 31 to 40 of about 3,377 (263)
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
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
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
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
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
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
Interval-based Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq.
Angelo Montanari, Pietro Sala
doaj +1 more source
Specification Structures and propositions-as-types for concurrency
, 1996 Many different notions of “property of interest” and methods of verifying such properties arise naturally in programming. A general framework of “Specification Structures” is presented for combining different notions and methods in a coherent fashion. This is then applied to concurrency in the setting of Interaction Categories.
Samson Abramsky +2 more
openaire +2 more sources
Studia z Filologii Polskiej i Słowiańskiej, 2019 Forms of Representation of Propositional Argument in Bulgarian, Polish and Russian Expressions Based on the Mental Predicate This article offers a discussion of Bulgarian, Polish and Russian mental verbs from the perspective of syntactic valence.
Aleksander Kiklewicz
doaj +1 more source
Structural completeness in propositional logics of dependence [PDF]
Archive for Mathematical Logic, 2016 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed.
Rosalie Iemhoff, Fan Yang 0004
openaire +5 more sources