Truth values and proof theory
Canonical models constructed from the maximally consistent (with respect to derivability with cut) sequents provide completeness proofs for classical, intuitionistic and modal logic. The author reverses this process. In the classical case the conditions, say, for \(A\& B\in X\), \(A\&B\in Y\) in a maximally consistent sequent \(X\vdash Y\) determine standard Boolean semantics. In the intuitionistic case, two possible definitions of maximal consistency lead to two different semantics. If \(X\vdash Y\) is defined to be consistent when \(X\vdash A\) is underivable for every \(A\in Y\), then Beth semantics results. If \(X\vdash Y\) is consistent when \(X\vdash Y'\) is underivable for every \(Y'\subseteq Y\) in a multiple-succedent formulation, then Kripke semantics results. For S5, the authors considers a Kripke-style hypersequent (tableau) formulation where sequents correspond to possible worlds. It would be interesting to see whether the same result can be obtained from a cut-free sequent formulation by G. Shvarts.
- A cut-free simple sequent calculus for modal logic S5
- An introduction to non-classical logic
- scientific article; zbMATH DE number 1028819 (Why is no real title available?)
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- Intuitionism. An introduction
- Meaning as an inferential role
- Semantics as based on inference
- The logic of paradox
- Editorial introduction. Truth values. I
- Truth values, neither-true-nor-false, and supervaluations
- The truths of logic
- Anything goes
- Atomic ontology
- Speech acts, categoricity, and the meanings of logical connectives
- Negation on the Australian plan
- Truth from a proof-theoretic perspective
- Structuring co-constructive logic for proofs and refutations
- The laws of thought and the laws of truth as two sides of one coin
- Logic reduced to bare (proof-theoretical) bones
- Proof-theoretic semantic values for logical operators
- ``Transitivity of consequence relations
- A proof-theoretic account of classical principles of truth
- A cut-free sequent system for two-dimensional modal logic, and why it matters
- Discrete interval truth values logic and its application
- Pluralism and proofs
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
- Sellars, second-order quantification, and ontological commitment
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- The nature of entailment: an informational approach
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Categoricity problem for LP and K3
- Proofs with star and perp
- A hypersequent solution to the inferentialist problem of modality
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)
