scientific article; zbMATH DE number 4121961

zbMATH Open0685.03009MaRDI QIDQ4735166FDOQ4735166

Authors: Krzysztof Szymanek 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 19690
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• Intuitionistic completeness and classical logic
• scientific article; zbMATH DE number 150217
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

zbMATH Keywords

implicative latticeintuitionistic calculuslattice of subtheories

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10)

Cited In (3)

• Almost all Classical Theorems are Intuitionistic
• Title not available (Why is that?)
• Combining Classical and Intuitionistic Implications

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 Q4735166)