Truth values and proof theory

DOI10.1007/s11225-009-9197-yzbMath1191.03042OpenAlexW2070877511MaRDI QIDQ1037601

Greg Restall

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9197-y

zbMATH Keywords

modal logiccompletenesssequent calculussemanticsintuitionistic logicclassical logicmaximal consistency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (15)

Logic reduced to bare (proof-theoretical) bones ⋮ ‘Transitivity’ of Consequence Relations ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ The nature of entailment: an informational approach ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Anything goes ⋮ A cut-free sequent system for two-dimensional modal logic, and why it matters ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Pluralism and proofs ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Sellars, Second-order Quantification, and Ontological Commitment ⋮ Negation on the Australian plan ⋮ Atomic ontology ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• The logic of paradox
• Meaning as an inferential role
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5

This page was built for publication: Truth values and proof theory