Pages that link to "Item:Q543530"
From MaRDI portal
The following pages link to Why conclusions should remain single (Q543530):
Displaying 21 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Strict-choice validities: A note on a familiar pluralism (Q488377) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Explicating logical independence (Q2301324) (← links)
- Meta-inferences and supervaluationism (Q2679589) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- HOW A SEMANTICS FOR TONK SHOULD BE (Q3195587) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- Logical multilateralism (Q6145030) (← links)
- A general schema for bilateral proof rules (Q6544534) (← 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)
- Reading conclusions conjunctively (Q6655117) (← links)