scientific article; zbMATH DE number 3250542

MaRDI QIDQ5537356zbMATH OpenFDO

Authors Tsutomu Hosoi

Publication date 1966

zbMATH Keywords

intuitionistic systemmany-valued propositional system of Gödel

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited in

(22)

• 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
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• Three-valued logics for incomplete information and epistemic logic
• Infinitary Equilibrium Logic and Strong Equivalence
• Synonymous theories and knowledge representations in answer set programming
• 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
• A map of dependencies among three-valued logics
• EPSILON THEOREMS IN INTERMEDIATE LOGICS
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• Axiomatisability Problems for S -Systems
• Here and There with Arithmetic
• Logical connectives for two-state semantics
• On Heuer's procedure for verifying strong equivalence
• Linear-time temporal answer set programming
• A first order nonmonotonic extension of constructive logic
• Equilibrium logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5537356)