Harmony and Normalisation in Bilateral Logic

DOI10.18778/0138-0680.2023.14MaRDI QIDQ6200471zbMATH OpenFDO

Authors

Publication date 29 February 2024

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2023.14

zbMATH Keywords

bilateralismharmonynormalisation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Negation, absurdity and contrariety
• Normality, non-contamination and logical depth in classical natural deduction
• On the equivalence conjecture for proof-theoretic harmony
• Some comments on Ian Rumfitt's bilateralism

Cited in

(1)

• A general schema for bilateral proof rules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200471)