Publication:5537356
From MaRDI portal
zbMath0156.00802MaRDI QIDQ5537356
Publication date: 1966
03B05: Classical propositional logic
Related Items
A modal theorem-preserving translation of a class of three-valued logics of incomplete information, Stable reasoning, On equivalence of infinitary formulas under the stable model semantics, Proving infinitary formulas, EPSILON THEOREMS IN INTERMEDIATE LOGICS, The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel, Here and There with Arithmetic, Logical connectives for two-state semantics, Synonymous theories and knowledge representations in answer set programming, A map of dependencies among three-valued logics, A first order nonmonotonic extension of constructive logic, Equilibrium logic, A semantic hierarchy for intuitionistic logic, The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s, Pseudo two-valued evaluation method for intermediate logics, Infinitary equilibrium logic and strongly equivalent logic programs, Three-Valued Logics for Incomplete Information and Epistemic Logic, Infinitary Equilibrium Logic and Strong Equivalence