From forcing to satisfaction in Kripke models of intuitionistic predicate logic

, &
Logic Journal of the IGPL 26 (5):464-474 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy007

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,235

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
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.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Diagram Construction in Intuitionistic Logic.Seyed Bagheri & Massoud Pourmahdian - 2006 - Logic Journal of the IGPL 14 (6):889-901.
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 note on the concept of satisfaction in intuitionistic predicate logic.Janusz Maciaszek - 1999 - Bulletin of the Section of Logic 28 (4):215-223.

Analytics

Added to PP
2018-04-15

Downloads
35 (#510,031)

6 months
10 (#586,498)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
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.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.

View all 8 references / Add more references