Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
From MaRDI portal
Publication:3246321
DOI10.1007/BF01988049zbMath0079.00702MaRDI QIDQ3246321
Publication date: 1957
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137735
Related Items
Refutation systems in modal logic ⋮ V. Yankov’s Contributions to Propositional Logic ⋮ Propositional logics of dependence ⋮ The decidability of certain intermediate propositional logics ⋮ Some structure results for propositional calculi ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Counting the maximal intermediate constructive logics ⋮ A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ Propositional lax logic ⋮ A class of decidable intermediate propositional logics ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ The decidability of the Kreisel-Putnam system ⋮ Metacompleteness of substructural logics ⋮ On two problems of Harvey Friedman ⋮ Canonical formulas for K4. Part I: Basic results ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Inquisitive logic ⋮ Intermediate logics and the de Jongh property ⋮ Generalized tableau systems for intermediate propositional logics ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Unnamed Item ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Truth-maker semantics for intuitionistic logic ⋮ The disjunction property of intermediate propositional logics ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ On the semantics and logic of declaratives and interrogatives ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ On the simple substitution property for superintuitionistic and modal propositional logics ⋮ Disjunction and existence under implication in elementary intuitionistic formalisms ⋮ Intermediate logics and Visser's rules ⋮ On the rules of intermediate logics ⋮ Derivability of admissible rules ⋮ Failure of completeness in proof-theoretic semantics ⋮ The Context of Inference ⋮ Bibliography of Hilary Putnam’s Writings in Logic and Mathematics ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes ⋮ Some results on the intermediate logics ⋮ On maximal intermediate predicate constructive logics ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ An extension of the Kreisel-Putnam system ⋮ A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
Cites Work
