A semantic hierarchy for intuitionistic logic
نویسندگان
چکیده
منابع مشابه
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...
متن کاملOn the Mints Hierarchy in First-Order Intuitionistic Logic
We stratify intuitionistic first-order logic over (∀,→) into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these fragments. We prove that even the ∆2 level is undecidable and that Σ1 is Expspace-complete. We also prove that the arity-bounded fragment of Σ1 is complete for co-Nexptime.
متن کامل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...
متن کاملA geographic information system for gas power plant location using analytical hierarchy process and fuzzy logic
This study recommends a GIS-based (Geographic Information Systems) and multi-criteria evaluation for site selection of gas power plant in Natanz City of Iran. The multi-criteria decision framework integrates legal requirements and physical constraints related to environmental and economic concerns. It also builds a hierarchy model for gas power plant suitability. The methodologies used for site...
متن کاملIntuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae
سال: 2019
ISSN: 0019-3577
DOI: 10.1016/j.indag.2019.01.001