TY  - JOUR
AU  - Maffezioli, Paolo
PY  - 2025
DO  - 10.1007/s11225-025-10201-0
SN  - 0039-3215
UR  - https://hdl.handle.net/20.500.14352/124777
T2  - Studia Logica
AB  - The paper provides a cut-free sequent calculus for the theory of tight apartness in a language where both apartness and equality are primitive notions. The result is obtained by aptly modifying the underlying logical calculus for intuitionistic logic...
LA  - eng
PB  - Institute of Philosophy and Sociology Polish Academy of Sciences
KW  - Apartness
KW  - Proof theory
KW  - Cut elimination
TI  - Proof theory for tight apartness
TY  - journal article
ER  -