Recommendations
- Falsification, natural deduction and bi-intuitionistic logic
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- Deep Inference in Bi-intuitionistic Logic
- Natural deduction for bi-intuitionistic logic
- Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
Cited in
(29)- First-degree entailment and its relatives
- A more general general proof theory
- Reprint of: ``A more general general proof theory
- Extensions of Priest-da Costa logic
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- Disentangling structural connectives or life without display property
- Inference as doxastic agency. I: The basics of justification stit logic
- Falsification, natural deduction and bi-intuitionistic logic
- Reductio ad contradictionem: an algebraic perspective
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- On split negation, strong negation, information, falsification, and verification
- Proofs, Proofs, Proofs, and Proofs
- Equality and Apartness in Bi-intuitinistic Logic
- Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
- Understanding negation implicationally in the relevant logic R
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
- Prawitz, Proofs, and Meaning
- Emptiness and discharge in sequent calculus and natural deduction
- Tarskian consequence relations bilaterally: some familiar notions
- Executability and connexivity in an interpretation of Griss
- Logical multilateralism
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Core Type Theory
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- A note on synonymy in proof-theoretic semantics
- Multiset-multiset frames
- Consistency-sensitive epistemic modalities in information-based semantics
- State-based modal logics for free choice
This page was built for publication: Proofs, disproofs, and their duals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904071)
