scientific article; zbMATH DE number 3252193
From MaRDI portal
Publication:5538910
zbMath0157.01602MaRDI QIDQ5538910
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A propositional fragment of Leśniewski's ontology and its formulation by the tableau method ⋮ A constructive logic behind the catch and throw mechanism ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik ⋮ Modelltheoretische Untersuchungen in der Kripke-Semantik ⋮ Kripke-Semantik der derivativen Prädikatelogik ⋮ An embedding of classical logic in S4 ⋮ Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik ⋮ Rules of inference with parameters for intuitionistic logic ⋮ Solvable classes of pseudoprenex formulas ⋮ Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5 ⋮ Unnamed Item ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Modal translations in substructural logics ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ Embeddings of classical logic in S4 ⋮ Imbedding of the quantum logic in the modal system of Brower ⋮ Deduction chains for common knowledge ⋮ Interpolation theorems for intuitionistic predicate logic ⋮ An intuitionistically plausible interpretation of intuitionistic logic ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Kripke models and intermediate logics ⋮ Deciding intuitionistic propositional logic via translation into classical logic ⋮ Prior-type modal logic. II ⋮ On the Blok-Esakia Theorem ⋮ Reminiscences of Kurt Schütte ⋮ From Schütte’s Formal Systems to Modern Automated Deduction ⋮ Noncumulative dialectical models and formal dialectics ⋮ On 2nd order intuitionistic propositional calculus with full comprehension
