The following pages link to (Q5483305):
Displayed 46 items.
- The problem of rational knowledge (Q264024) (← links)
- Restriction by noncontraction (Q286710) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Acceptance, inference, and the multiple-conclusion sequent (Q383068) (← links)
- Logic and ontological pluralism (Q427222) (← links)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- Assertion, denial, content, and (logical) form (Q513980) (← links)
- Why conclusions should remain single (Q543530) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Anything goes (Q1708461) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Atomic ontology (Q2054007) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Bilateralism, trilateralism, multilateralism and poly-sequents (Q2421519) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Meaning as an inferential role (Q2432050) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Supervaluations and the strict-tolerant hierarchy (Q2679580) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Which Logic for the Radical Anti-realist? (Q2908756) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- First Degree Entailment, Symmetry and Paradox (Q4683209) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- EPISTEMIC MULTILATERAL LOGIC (Q5078819) (← links)
- Stipulation and Symmetrical Consequence (Q5241532) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- The logic of lexical connectives (Q6054060) (← links)