Proofs, disproofs, and their duals
From MaRDI portal
Publication:2904071
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
(26)- Multiset-multiset frames
- Extensions of Priest-da Costa logic
- Falsification, natural deduction and bi-intuitionistic logic
- A note on synonymy in proof-theoretic semantics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Reprint of: ``A more general general proof theory
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- Tarskian consequence relations bilaterally: some familiar notions
- Core Type Theory
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Logical multilateralism
- On split negation, strong negation, information, falsification, and verification
- Disentangling structural connectives or life without display property
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
- A more general general proof theory
- Proofs, Proofs, Proofs, and Proofs
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- Equality and Apartness in Bi-intuitinistic Logic
- Prawitz, Proofs, and Meaning
- Understanding negation implicationally in the relevant logic R
- Executability and connexivity in an interpretation of Griss
- Inference as doxastic agency. I: The basics of justification stit logic
- First-degree entailment and its relatives
- Reductio ad contradictionem: an algebraic perspective
- Emptiness and discharge in sequent calculus and natural deduction
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)
