Falsification, natural deduction and bi-intuitionistic logic

DOI10.1093/LOGCOM/EXT035MaRDI QIDQ2804337zbMATH OpenOpenAlexFDO

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

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)

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

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
• Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• A note on synonymy in proof-theoretic semantics
• 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
• Reprint of: ``A more general general proof theory
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• About opposition and duality in paraconsistent type 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
• Proofs, disproofs, and their duals
• 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)