Harmony and Normalisation in Bilateral Logic

DOI10.18778/0138-0680.2023.14MaRDI QIDQ6200471

Unnamed Author

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

harmonynormalisationbilateralism

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• On the equivalence conjecture for proof-theoretic harmony
• Normality, non-contamination and logical depth in classical natural deduction
• Some comments on Ian Rumfitt's bilateralism
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Harmony and Normalisation in Bilateral Logic