The following pages link to Truth values and proof theory (Q1037601):
Displayed 14 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Pluralism and proofs (Q488374) (← 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)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← 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)