Equality and Apartness in Bi-intuitinistic Logic

DOI10.21146/2074-1472-2021-27-1-82-106MaRDI QIDQ5059692zbMATH OpenOpenAlexFDO

Authors Paolo Maffezioli, Luca Tranchini

Publication date 16 January 2023

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2021-27-1-82-106

zbMATH Keywords

apartnessbi-intuitionistic logicequality

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• First-order anti-intuitionistic logic with apartness
• On coequality relation on set with apartness
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Relating sequent calculi for bi-intuitionistic propositional logic

Cites work

• A formalization of the propositional calculus of H-B logic
• Analytic cut and interpolation for bi-intuitionistic logic
• Bi-intuitionistic logics: a new instance of an old problem
• Constructible falsity
• Dual-intuitionistic logic
• Falsification, natural deduction and bi-intuitionistic logic
• First-order anti-intuitionistic logic with apartness
• scientific article; zbMATH DE number 3643258 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• Natural deduction for dual-intuitionistic logic
• Proofs, disproofs, and their duals
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Structural proof theory. With an appendix by Aarne Ranta
• Subtractive logic

Cited in

(1)

• Logic with equality: Partisan corroboration and shifted pairing

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Equality and Apartness in Bi-intuitinistic Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059692)