Natural Deduction for Non-Classical Logics

• 1 January 1998
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 60  (1) , 119-160
• https://doi.org/10.1023/a:1005003904639

Abstract

Keywords

• CLASSICAL LOGICS
• MODELS
• MODULAR
• STYLE
• PARTIAL
• DEDUCTION
• UNIFORM
• ISABELLE
• INTUITIONISTIC