scientific article; zbMATH DE number 3250542
From MaRDI portal
Publication:5537356
zbMath0156.00802MaRDI QIDQ5537356
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Infinitary Equilibrium Logic and Strong Equivalence ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Equilibrium logic ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Stable reasoning ⋮ Here and There with Arithmetic ⋮ On equivalence of infinitary formulas under the stable model semantics ⋮ Proving infinitary formulas ⋮ Logical connectives for two-state semantics ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ A map of dependencies among three-valued logics ⋮ 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 ⋮ The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel ⋮ A first order nonmonotonic extension of constructive logic
This page was built for publication:
