scientific article; zbMATH DE number 871447

zbMATH Open0843.03021MaRDI QIDQ4874811FDOQ4874811

Authors: Zoran Marković 

Publication date: 15 August 1996

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

Recommendations

• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• A note on omitting types in propositional logic.
• An Omitting Types Theorem for Sheaves over Topological Spaces
• Omitting types in an intermediate logic
• Models omitting given complete types

zbMATH Keywords

intuitionistic logicKripke modelomitting types theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (6)

• Omitting types in an intermediate logic
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• Model completions and omitting types
• A note on omitting types in propositional logic.
• An Omitting Types Theorem for Sheaves over Topological Spaces
• Models omitting given complete types

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