Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 24 | 3 | 339–355
Tytuł artykułu

Neighborhood Semantics for Basic and Intuitionistic Logic

Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this paper we present a neighborhood semantics for Intuitionistic Propositional Logic (IPL). We show that for each Kripke model of the logic there is a pointwise equivalent neighborhood model and vice versa. In this way, we establish soundness and completeness of IPL with respect to the neighborhood semantics. The relation between neighborhood and topological semantics are also investigated. Moreover, the notions of bisimulation and n-bisimulation between neighborhood models of IPL are defined naturally and some of their basic properties are proved. We also consider Basic Propositional Logic (BPL), a logic weaker than IPL introduced by Albert Visser, and introduce and study its neighborhood models in the same manner.
Rocznik
Tom
24
Numer
3
Strony
339–355
Opis fizyczny
Daty
wydano
2015-09-01
online
2015-08-20
Twórcy
  • Department of Mathematics, Shahid Beheshti University G. C., Evin, Tehran, Iran, m-moniri@sbu.ac.ir
  • Department of Mathematics, Shahid Beheshti University G. C., Evin, Tehran, Iran, fat-maleki@sbu.ac.ir
Bibliografia
  • Bezhanishvili, N., and W. Hoek, “Structures for epistemic logic”, Chapter 12 in Johan van Benthem on Logic and Information Dynamics, Springer. DOI: 10.1007/978-3-319-06025-5_12
  • Chellas, B., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
  • Johnstone, P., Stone Spaces, Cambridge University Press, 1982.
  • Hansen, H.H., “Monotonic modal logics”, Master thesis, University of Amsterdam, 2003.
  • Kruszelnicka, M., “A note on bisimulations of finite Kripke models”, Bulletin of the Section of Logic, 41 (2012): 185–198.
  • Montague, R., “Universal grammar”, Theoria, 36, 3 (1970): 373–398. DOI: 10.1111/j.1755-2567.1970.tb00434.x
  • Ruitenburg, W., “Constructive logic and the paradoxes”, Modern Logic, 1, 4 (1991): 271–301.
  • Scott, D.S., “Advice on modal logic”, Chapter 7 in Philosophical Problems in Logic, K. Lambert (ed.), D. Reidel Publishing Company, 1970. DOI: 10.1007/978-94-010-3272-8_7
  • van Dalen, D., Logic and Structure, Fourth Edition, Springer, 2004. DOI: 10.1007/978-3-540-85108-0
  • Visser, A., “A propositional logic with explicit fixed points”, Studia Logica, 40, 2 (1981): 155–175. DOI: 10.1007/BF01874706
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.desklight-dd87f6d4-eb83-4ca7-a448-5467894b2dea
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.