scientific article; zbMATH DE number 4004159

MaRDI QIDQ3755436zbMATH OpenFDO

Authors Cecylia Rauszer

Publication date 1985

zbMATH Keywords

intermediate predicate logicsGentzen forms

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3841822
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• scientific article; zbMATH DE number 3873298
• scientific article; zbMATH DE number 4106814
• On certain normalizable natural deduction formulations of some propositional intermediate logics

Cited in

(11)

• On the proof theory of the intermediate logic MH
• scientific article; zbMATH DE number 269844 (Why is no real title available?)
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• scientific article; zbMATH DE number 4174902 (Why is no real title available?)
• A formal theory of generalized intermediate syllogisms
• Sound and complete Gentzen deduction system for intermediate propositional logic
• scientific article; zbMATH DE number 3873298 (Why is no real title available?)
• scientific article; zbMATH DE number 5371703 (Why is no real title available?)
• scientific article; zbMATH DE number 4095435 (Why is no real title available?)
• scientific article; zbMATH DE number 3841822 (Why is no real title available?)

This page was built for publication:

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