From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Logic Journal of the IGPL 26 (5):464-474 (2018)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
Some results on Kripke models over an arbitrary fixed frame.Seyed Mohammad Bagheri & Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (5):479-484.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Satisfaction relations for proper classes: Applications in logic and set theory.Robert A. Van Wesep - 2013 - Journal of Symbolic Logic 78 (2):345-368.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
Completeness and incompleteness for intuitionistic logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Analytics
Added to PP
2018-04-15
Downloads
22 (#522,827)
6 months
1 (#455,463)
2018-04-15
Downloads
22 (#522,827)
6 months
1 (#455,463)
Historical graph of downloads
Author's Profile
Citations of this work
Forcing and satisfaction in Kripke models of intuitionistic arithmetic.Maryam Abiri, Morteza Moniri & Mostafa Zaare - 2019 - Logic Journal of the IGPL 27 (5):659-670.
References found in this work
Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Kripke submodels and universal sentences.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2007 - Mathematical Logic Quarterly 53 (3):311-320.
