Multi-type Display Calculus for Semi De Morgan Logic
2017
We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
23
References
25
Citations
NaN
KQI