scientific article; zbMATH DE number 3957081

MaRDI QIDQ3726100zbMATH OpenFDO

Authors Zoran Marković

Publication date 1984

Full work available at URL https://eudml.org/doc/117952

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Decidable Kripke models of intuitionistic theories
• Forcing and satisfaction in Kripke models of intuitionistic arithmetic
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• On the structure of kripke models of heyting arithmetic
• Intuitionistic axiomatizations for bounded extension Kripke models.

Cited in

(14)

• Decidable Kripke models of intuitionistic theories
• Intuitionistic axiomatizations for bounded extension Kripke models.
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• Destructibility and axiomatizability of Kaufmann models
• Weak arithmetics and Kripke models
• scientific article; zbMATH DE number 1823848 (Why is no real title available?)
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• On the structure of kripke models of heyting arithmetic
• scientific article; zbMATH DE number 2152688 (Why is no real title available?)
• scientific article; zbMATH DE number 1907113 (Why is no real title available?)
• Forcing and satisfaction in Kripke models of intuitionistic arithmetic
• Homomorphisms and chains of Kripke models
• Categoricity and quantifier elimination for intuitionistic theories
• Intuitionistic predicate logic with decidable propositional atoms

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