Falsification, natural deduction and bi-intuitionistic logic
From MaRDI portal
(Redirected from Publication:2804337)
Recommendations
Cited in
(48)- 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
- Dual counterpart intuitionistic logic
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- Substructural negations as normal modal operators
- 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}}\)
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- 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
- Comparing sense and denotation in bilateralist proof systems for proofs and refutations
- Supposition: no problem for bilateralism
- Completeness of first-order bi-intuitionistic logic
- Reprint of: ``A more general general proof theory
- Symmetric and conflated intuitionistic logics
- 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
- Bi-connexive logic, bilateralism, and negation inconsistency
- Falsification-aware semantics and sequent calculi for classical logic
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- 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
- Unified Gentzen approach to connexive logics over Wansing's C
- A general schema for bilateral proof rules
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
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)
