Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik

DOI10.1007/BF01973339zbMath0165.01101MaRDI QIDQ5549787

F.v. Kutschera

Publication date: 1968

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137803

zbMATH Keywords

general logic

Related Items (13)

Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle ⋮ Logical connectives for constructive modal logic ⋮ ON FLATTENING ELIMINATION RULES ⋮ Varieties of entailment: introduction to the special issue ⋮ External curries ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ Prawitz, Proofs, and Meaning ⋮ Inversion Principles and Introduction Rules ⋮ Faithfulness for naive validity ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ A natural extension of natural deduction ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik