Truth values and proof theory

DOI10.1007/S11225-009-9197-YMaRDI QIDQ1037601zbMATH OpenOpenAlexFDO

Authors 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

semanticscompletenessintuitionistic logicmodal logicsequent calculusclassical 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)

Recommendations

• Editorial introduction. Truth values. II
• Editorial introduction. Truth values. I
• Proof-theoretic semantic values for logical operators
• A proof-theoretic account of classical principles of truth
• Publication:3108631

Cites work

• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• A cut-free simple sequent calculus for modal logic S5
• An introduction to non-classical logic
• Intuitionism. An introduction
• Meaning as an inferential role
• Semantics as based on inference
• The logic of paradox

Cited in

(23)

• The laws of thought and the laws of truth as two sides of one coin
• Proof-theoretic semantic values for logical operators
• Atomic ontology
• Truth from a proof-theoretic perspective
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Negation on the Australian plan
• The nature of entailment: an informational approach
• A proof-theoretic account of classical principles of truth
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• Speech acts, categoricity, and the meanings of logical connectives
• ``Transitivity of consequence relations
• Logic reduced to bare (proof-theoretical) bones
• Discrete interval truth values logic and its application
• Anything goes
• Categoricity problem for LP and K3
• Sellars, second-order quantification, and ontological commitment
• Pluralism and proofs
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Structuring co-constructive logic for proofs and refutations
• Truth values, neither-true-nor-false, and supervaluations
• Editorial introduction. Truth values. I
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037601)