Results 1 to 10 of about 59,882 (275)
Individual concepts as propositional variables in ${\rm ML}^{\nu+1}$. [PDF]
Notre Dame Journal of Formal Logic, 1984 The author studies the many-sorted quantified modal systems defined previously by \textit{A. Bressan} [A general interpreted modal calculus (1972; Zbl 0255.02015); Aspects of philosophical logic, Synth. Libr. 147, 21-66 (1981; Zbl 0476.03028)]. \(ML^{\nu}\) (\(\nu\) : a positive integer) is a typed language, \(MC^{\nu}\) is a calculus (an extension of ...
Alberto Zanardo
openaire +4 more sources
Propositional Independence - Formula-Variable Independence and Forgetting
Journal of Artificial Intelligence Research, 2003 Independence -- the study of what is relevant to a given problem of reasoning -- has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic one. We show features and drawbacks of them.
J. Lang, LIBERATORE, Paolo, P. Marquis
+8 more sources
On the number of variables in undecidable superintuitionistic propositional calculi [PDF]
Logic Journal of IGPL, 2016 18 pages, 1 ...
Grigoriy V. Bokov
+6 more sources
La macro-proposition : unité compositionnelle variable
Semen, 2013 Dans cet article nous présentons une réflexion sur la composition et la segmentation textuelle au delà du niveau de la phrase. Après un examen de plusieurs approches, nous concentrons notre étude sur la place et les fonctions de la macro-proposition, unité centrale et intermédiaire entre proposition et séquence.
André Avias
openaire +2 more sources
Classical propositional logic and decidability of variables in intuitionistic propositional logic [PDF]
Logical Methods in Computer Science, 2014 We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.
Hajime Ishihara
openaire +5 more sources
Monodic temporal logic with quantified propositional variables [PDF]
Journal of Logic and Computation, 2011 We extend the monodic fragment of first-order linear temporal logic to include right-linear grammar operators and quantification of propositional variables. Unlike propositional temporal logic, the use of grammar operators in first-order temporal logic is not equivalent to general propositional quantification, as the latter admit satisfiable formulae ...
Walter Hussak
openaire +3 more sources
Note on the signed occurrences of propositional variables
The Australasian Journal of Logic, 2022 This note concerns the positive and negative occurrences of propositional variables. Just like the theory of infectious truth-values provides an algebraic understanding of the position according to which identity of subject-matter between two formulas can approximated syntactically by the identity of propositional variables occurring in these formulas,
Thomas Randriamahazaka
openaire +3 more sources
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables [PDF]
, 2013 Appears in Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI2000)
Alsinet, Teresa, Godo, Lluis
openaire +3 more sources
The decidability of one-variable propositional calculi. [PDF]
Notre Dame Journal of Formal Logic, 1979 M. D. Gladstone
openaire +4 more sources
On complexity of propositional linear-time temporal logic with finitely many variables [PDF]
Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2018 It is known [DemriSchnoebelen02] that both satisfiability and model-checking problems for propositional Linear-time Temporal Logic, LTL, with only a single propositional variable in the language are PSPACE-complete, which coincides with the complexity of these problems for LTL with an arbitrary number of propositional variables [SislaClarke85].
Rybakov, Mikhail, Shkatov, Dmitry
openaire +4 more sources