Falsification, natural deduction and bi-intuitionistic logic
DOI10.1093/LOGCOM/EXT035zbMATH Open1444.03009OpenAlexW2093705378MaRDI QIDQ2804337FDOQ2804337
Authors: Heinrich Wansing 
Publication date: 28 April 2016
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/ext035
Recommendations
intuitionistic logicnatural deductionstrong negationbi-intuitionistic logicfalsificationdual intuitionistic logic
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (37)
- Routley star and hyperintensionality
- Questions to Michael Dunn
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Prawitz, Proofs, and Meaning
- A more general general proof theory
- A basic quasi-Boolean logic of intuitionistic character
- On split negation, strong negation, information, falsification, and verification
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- 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
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- A note on synonymy in proof-theoretic semantics
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
- On displaying negative modalities
- Tarskian consequence relations bilaterally: some familiar notions
- Logical multilateralism
- Core Type Theory
- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
- Equality and Apartness in Bi-intuitinistic Logic
- Inference as doxastic agency. I: The basics of justification stit logic
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions
- A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Is `no' a force-indicator? Yes, sooner or later!
- On the methodology of paraconsistent logic
- About opposition and duality in paraconsistent type theory
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Reprint of: ``A more general general proof theory
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
- Falsification-aware semantics and sequent calculi for classical logic
- Monoidal logics: completeness and classical systems
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- A comparison between monoidal and substructural logics
- Proofs, disproofs, and their duals
- Natural deduction for bi-intuitionistic logic
- A general schema for bilateral proof rules
This page was built for publication: Falsification, natural deduction and bi-intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804337)
