Falsification, natural deduction and bi-intuitionistic logic

DOI10.1093/LOGCOM/EXT035zbMATH Open1444.03009OpenAlexW2093705378MaRDI QIDQ2804337FDOQ2804337

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

• Natural deduction for bi-intuitionistic logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Reprint of: ``A more general general proof theory
• Proofs, disproofs, and their duals
• A more general general proof theory

zbMATH Keywords

intuitionistic logicnatural deductionstrong negationbi-intuitionistic logicfalsificationdual intuitionistic logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (33)

• On Displaying Negative Modalities
• 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
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• On the Methodology of Paraconsistent Logic
• 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 basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Tarskian consequence relations bilaterally: some familiar notions
• Logical multilateralism
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• 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
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• Is `no' a force-indicator? Yes, sooner or later!
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
• 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
• 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
• 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)