Another Neighbourhood Semantics for Intuitionistic Logic

&
Logic Journal of the IGPL (forthcoming)
  Copy   BIBTEX

Abstract

In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzac069

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

Neighborhood Semantics for Basic and Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - 2015 - Logic and Logical Philosophy 24 (3).
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann - 2024 - Journal of Symbolic Logic 89 (1):308-330.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Neighbourhood semantics and generalized Kripke models.Bernd Dahn - 1976 - Bulletin of the Section of Logic 5 (1):2-7.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss - 2021 - Logica Universalis 15 (2):171-191.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.

Analytics

Added to PP
2022-09-25

Downloads
19 (#805,446)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.

Add more references