scientific article; zbMATH DE number 1354095

MaRDI QIDQ4268404zbMATH OpenFDO

Authors Leo Esakia

Publication date 28 October 1999

zbMATH Keywords

intermediate logicintuitionistic logicprovabilityset theorysoundness and completeness

Mathematics Subject Classification ID

Intermediate logics (03B55) Set theory (03E99) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 4027437
• scientific article; zbMATH DE number 4099259
• scientific article; zbMATH DE number 1873426
• A weak intuitionistic propositional logic with purely constructive implication
• scientific article; zbMATH DE number 51606

Cited in

(10)

• A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
• An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
• Proof-theoretic harmony: towards an intensional account
• Free and projective bimodal symmetric Gödel algebras
• Properties of Intuitionistic Provability and Preservativity Logics
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• The complexity of the modal predicate logic of “true in every transitive model of ZF”
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
• Exploring Computational Contents of Intuitionist Proofs

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 Q4268404)