Cut-free proof systems for logics of weak excluded middle

• 26 February 1999
• journal article
• Published by Springer Nature in Soft Computing
• Vol. 2  (4) , 147-156
• https://doi.org/10.1007/s005000050047

Abstract

Keywords

• CUT FREE
• EXCLUDED MIDDLE
• LOGICAL SYSTEMS
• INTUITIONISTIC LOGIC
• CALCULI
• VALUED
• UKASIEWICZ LOGIC