The following pages link to Truth values and proof theory (Q1037601):
Displaying 23 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Pluralism and proofs (Q488374) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- Truth values, neither-true-nor-false, and supervaluations (Q1015489) (← links)
- The truths of logic (Q1293000) (← links)
- Anything goes (Q1708461) (← links)
- Atomic ontology (Q2054007) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Truth from a proof-theoretic perspective (Q2339006) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- Discrete interval truth values logic and its application (Q4571354) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- Sellars, Second-order Quantification, and Ontological Commitment (Q5208115) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
