scientific article

zbMATH Open1203.03016MaRDI QIDQ3067391

Juan Andrés Montoya A.

Publication date: 21 January 2011

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

zbMATH Keywords

forcingintuitionistic logicpresheaves

Mathematics Subject Classification ID

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

Related Items (5)

Extensions of Kripke models ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ A Note on Linear Kripke Models ⋮ Intuitionistic epistemic logic, Kripke models and Fitch's paradox ⋮ Some results on Kripke models over an arbitrary fixed frame

Recommendations

• Intuitionistic epistemic logic, Kripke models and Fitch's paradox 👍 👎
• Decidable Kripke models of intuitionistic theories 👍 👎
• Intuitionistic axiomatizations for bounded extension Kripke models. 👍 👎
• Rudimentary Kripke models for the intuitionistic propositional calculus 👍 👎
• From intuitionism to many-valued logics through Kripke models 👍 👎
• Notes on models of (partial) Kripke-Feferman truth 👍 👎
• From forcing to satisfaction in Kripke models of intuitionistic predicate logic 👍 👎
• 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 Q3067391)