scientific article; zbMATH DE number 4004159

zbMATH Open0619.03019MaRDI QIDQ3755436FDOQ3755436

Authors: Cecylia Rauszer 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

intermediate predicate logicsGentzen forms

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal theory of generalized intermediate syllogisms
• Title not available (Why is that?)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Sound and complete Gentzen deduction system for intermediate propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the proof theory of the intermediate logic MH

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)