Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle

DOI10.1007/BF01969697zbMath0198.01304MaRDI QIDQ5596202

Franz von Kutschera

Publication date: 1969

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

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

zbMATH Keywords

general logic

Related Items (15)

Logical connectives for constructive modal logic ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Varieties of entailment: introduction to the special issue ⋮ Logical multilateralism ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Eine Logik vager Sätze ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ A non-deterministic view on non-classical negations ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Informational interpretation of substructural propositional logics

Cites Work

• Unnamed Item
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Widerspruchsfreier Aufbau der Logik I

This page was built for publication: Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle