Basing sequent systems on exclusive-or
From MaRDI portal
Publication:2142068
DOI10.1007/978-3-030-86059-2_7OpenAlexW3196476495MaRDI QIDQ2142068
Publication date: 25 May 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_7
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Simple consequence relations
- Negation, material equivalence and conditioned nonconjunction: Completeness and duality
- Proof theory for fuzzy logics
- On some calculi of modal logic
- A constructive analysis of RM
- Implication, Equivalence, and Negation
This page was built for publication: Basing sequent systems on exclusive-or