Equality and Apartness in Bi-intuitinistic Logic

DOI10.21146/2074-1472-2021-27-1-82-106OpenAlexW3198962255MaRDI QIDQ5059692

Luca Tranchini, Paolo Maffezioli

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

equalitybi-intuitionistic logicapartness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction for dual-intuitionistic logic
• Dual-intuitionistic logic
• Sequent calculus proof theory of intuitionistic apartness and order relations
• A formalization of the propositional calculus of H-B logic
• Falsification, natural deduction and bi-intuitionistic logic
• First-order anti-intuitionistic logic with apartness
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Constructible falsity
• Subtractive logic

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