Falsification, natural deduction and bi-intuitionistic logic

DOI10.1093/logcom/ext035zbMath1444.03009OpenAlexW2093705378MaRDI QIDQ2804337

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

natural deduction intuitionistic logic strong negation bi-intuitionistic logic falsification dual intuitionistic logic

Mathematics Subject Classification ID

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

Related Items (max. 100)

Routley star and hyperintensionality ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Questions to Michael Dunn ⋮ Equality and Apartness in Bi-intuitinistic Logic ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ A comparison between monoidal and substructural logics ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ A more general general proof theory ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Reprint of: ``A more general general proof theory ⋮ Natural deduction for bi-intuitionistic logic ⋮ Logical multilateralism ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Core Type Theory ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ Monoidal logics: completeness and classical systems ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ On Displaying Negative Modalities ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions ⋮ Prawitz, Proofs, and Meaning ⋮ On the Methodology of Paraconsistent Logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ Falsification-aware semantics and sequent calculi for classical logic

This page was built for publication: Falsification, natural deduction and bi-intuitionistic logic