Neighborhood Semantics for Basic and Intuitionistic Logic

نویسندگان

  • Morteza Moniri
  • Fatemeh Shirmohammadzadeh Maleki
  • Richard Montague
  • M. Moniri
  • F. S. Maleki
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

متن کامل

Truth Values and Connectives in Some Non-Classical Logics

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

متن کامل

Semantical study of intuitionistic modal logics

We investigate several intuitionistic modal logics (IMLs), mainly from semantical viewpoint. In these decades, in the area of type theory for programming language, various type systems corresponding (via Curry-Howard correspondence) to IMLs have been considered. However, IMLs arising from such a context are not extensively studied before. We try to understand the logical meaning of such IMLs, a...

متن کامل

Explorations and computations in bidirectional intuitionistic propositional logic

This paper investigates the semantics of the intuitionistic propositional logic (IPL) extended with subtraction, also known as the HeytingBrouwer logic or biIPL. It introduces and extends some basic concepts and theorems in the Kripke semantics of intuitionistic propositional logic to obtain new results on the exact models of fragments in the bidirectional case. The paper also includes results ...

متن کامل

An Intuitionistic Interpretation of Finite and In nite Failure (

In this paper, we propose an intuitionistic semantics for negation-as-failure in logic programs. The basic idea is to work with the completion of the program, not in classical logic, but in intuitionistic (or, more precisely, minimal) logic. Moreover, we consider two forms of completion: (1) rst-order predicate completion, as de ned by Clark, which is related to SLDNF resolution; and (2) second...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015