scientific article; zbMATH DE number 3865251

zbMATH Open0544.03010MaRDI QIDQ3333018FDOQ3333018

Piotr Latocha

Publication date: 1983

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

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

zbMATH Keywords

structural completenessintuitionistic propositional logicimplicational fragmentsdisjunction fragmentsubstitution rule

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Closed Fragments of Provability Logics of Constructive Theories
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
• Functional completeness for subsystems of intuitionistic propositional logic
• Title not available (Why is that?)
• On structural completeness of implicational logics
• Complexity of intuitionistic propositional logic and its fragments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)