Twist-Valued Models for Three-Valued Paraconsistent Set Theory
نویسندگان
چکیده
منابع مشابه
Maximally Paraconsistent Three-Valued Logics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We ...
متن کاملOrthomodular-Valued Models for quantum Set Theory
Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...
متن کاملA New Three-Valued Paraconsistent Logic
Paraconsistent logic and three-valued semantics: The term Paraconsistent was first used by the Peruvian philosopher Francisco Miró Quesada in the Third Latin America Conference on Mathematical Logic in 1976. A logic is called paraconsistent if there are formulas φ and ψ such that {φ,¬φ} 0 ψ. Besides other semantics, the three-valued semantics of (paraconsistent) logics have always received spec...
متن کاملGeneralized Algebra-Valued Models of Set Theory
We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. §
متن کاملThree-Valued Paraconsistent Reasoning for Semantic Web Agents
Description logics [1] refer to a family of formalisms concentrated around concepts, roles and individuals. They are used in many multiagent and semantic web applications as a foundation for specifying knowledge bases and reasoning about them. One of widely applied description logics is SHIQ [7,8]. In the current paper we address the problem of inconsistent knowledge. Inconsistencies may natura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2020
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2020.015