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