The following pages link to (Q2904071):
Displaying 18 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
- Logical multilateralism (Q6145030) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Multiset-multiset frames (Q6623813) (← links)
