scientific article; zbMATH DE number 3865251

MaRDI QIDQ3333018zbMATH OpenFDO

Authors Piotr Latocha

Publication date 1983

zbMATH Keywords

structural completenessintuitionistic propositional logicimplicational fragmentsdisjunction fragmentsubstitution rule

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• On structural completeness of implicational logics
• scientific article; zbMATH DE number 3875241
• Publication:3475249
• Functional completeness for subsystems of intuitionistic propositional logic
• Structural Completeness in Substructural Logics

Cited in

(16)

• Completeness theory for propositional logics
• Hereditarily structurally complete positive logics
• scientific article; zbMATH DE number 4143950 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 2108194 (Why is no real title available?)
• scientific article; zbMATH DE number 2108198 (Why is no real title available?)
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
• Closed Fragments of Provability Logics of Constructive Theories
• On structural completeness of implicational logics
• Functional completeness for subsystems of intuitionistic propositional logic
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• Structural Completeness in Substructural Logics
• scientific article; zbMATH DE number 1415870 (Why is no real title available?)
• Complexity of intuitionistic propositional logic and its fragments
• scientific article; zbMATH DE number 3875241 (Why is no real title available?)
• scientific article; zbMATH DE number 3931008 (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 Q3333018)