Equality and Apartness in Bi-intuitinistic Logic
type: Item
instance of: scholarly article
title: Equality and Apartness in Bi-intuitinistic Logic
DOI: 10.21146/2074-1472-2021-27-1-82-106
author: Paolo Maffezioli
author: Luca Tranchini
published in: Logical Investigations
publication date: 2023-01-16T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7642559
zbMATH Keywords: bi-intuitionistic logic
zbMATH Keywords: equality
zbMATH Keywords: apartness
describes a project that uses: Pesca
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-82-106
OpenAlex ID: W3198962255
cites work: First-order anti-intuitionistic logic with apartness
cites work: Subtractive logic
cites work: Q3048829
cites work: Q5104710
cites work: ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
cites work: Sequent calculus proof theory of intuitionistic apartness and order relations
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Constructible falsity
cites work: Q4552746
cites work: Q3884093
cites work: A formalization of the propositional calculus of H-B logic
cites work: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
cites work: Natural deduction for dual-intuitionistic logic
cites work: Dual-intuitionistic logic
cites work: Proofs, disproofs, and their duals
cites work: Falsification, natural deduction and bi-intuitionistic logic
description: scientific article; zbMATH DE number 7642559