Introduction of different semantics for intuitionistic logic

Shirmohammadzadeh Maleki, Fatemeh

doi:10.30465/lsj.2021.33406.1314

Introduction of different semantics for intuitionistic logic

Document Type : Review

Author

Fatemeh Shirmohammadzadeh Maleki

Shahid Beheshti University

https://doi.org/10.30465/lsj.2021.33406.1314

Abstract

Intuitionistic logic is a non classical logic obtained by omitting the axiom of excluded middle from classical logic. This logic was created by philosophical motivation towards the foundation of mathematics. There are several semantics for intuitionistic logic (such as Kripke semantics, neighborhood semantics and topological semantics) that are sound and complete. In this paper, we first present two new neighborhood semantics for propositional intuitionistic logic (IPC). Then we establish soundness and completeness of IPC with respect to these new neighborhood semantics. The relation between neighborhood and topological semantics are also investigated. One of these new neighborhood semantics is introduced with a somewhat more complex definition than the usual neighborhood semantics which was introduced before. This semantics is called NB-neighborhood semantics. In order to establish completeness with respect to NB-neighborhood semantics for IPC, first we need to introduce a system WF of subintuitionistic logic, weaker than Corsi's basic subintuitionistic system F.

Keywords

Intuitionistic logic

Subintuitionistic logic

Kripke semantics

Topological semantics

Neighbourhood semantics

G‎. ‎Corsi‎, ‎Weak Logics with strict implication‎, ‎Zeitschrift fur Mathematische Logik und Grundlagen der Mathematic, ‎33:389-406‎, ‎
B‎. ‎Chellas‎, ‎Modal logic‎: ‎An Introduction, ‎Cambridge University Press‎, ‎1980‎.
M‎. ‎Moniri‎, ‎F‎. ‎Shirmohammadzadeh Maleki‎, ‎Neighborhood Semantics for Basic and

Intuitionistic Logic‎, ‎Logic and Logical Philosophy‎, ‎pp 339-355‎, ‎Volume 24‎, ‎2015‎.

G‎. ‎Restall‎, ‎Subintuitionistic Logics‎, ‎Notre Dame Journal of Formal Logic, ‎Volume 35‎, ‎Number 1‎, ‎Winter 1994‎.
F‎. ‎Shirmohammadzadeh Maleki‎, ‎D‎. ‎de Jongh‎, ‎Weak Subintuitionistic Logics‎, ‎Logic Journal of the IGPL‎, ‎25 (2)‎, ‎pp‎. ‎214-231‎, ‎2017‎.