De Morgan clones and four-valued logics

نویسندگان

چکیده

We study clones on a four-element set related to the clone $${\mathsf {DMA}}$$ of all term functions subdirectly irreducible De Morgan algebra $${\mathbf {DM}}_{{{\mathbf {4}}}}$$ . find generating sets for preserving subalgebras , automorphisms truth order and information as well defined by conjunctions these conditions. identify covers in lattice four-valued describe above which contain discriminator function. Finally, observing that each defines an expansion Belnap–Dunn logic, we classify their metalogical properties, specifically position within Leibniz Frege hierarchies abstract algebraic logic.

برای دانلود باید عضویت طلایی داشته باشید

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

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

منابع مشابه

Belnap's Four-Valued Logic and De Morgan Lattices

In my paper [3], recently published in this Journal, I study several aspects of the relations between Belnap's logic B and the class DM of De Morgan lattices. Some of these relations concern a Gentzen system for Belnap's logic, denoted by G B , which was introduced in 1988 by my colleague Ventura Verdú and me (see [5] and [6]); indeed, the study of this Gentzen system within the theory of full ...

متن کامل

Fuzzy Logics Arising from Strict De Morgan Systems

In the application of fuzzy logic to expert systems, fuzzy control, and the like, it is not a single logic that is used, but a plethora of distinct logics. The choice used in a speci…c application is often ad hoc— decided on the basis of empirical factors or mere whim. There is a technical commonality to these logics in that they all arise in the same manner through the speci…cation of an algeb...

متن کامل

Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices

Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI...

متن کامل

Paraconsistent Resolution for Four-valued Description Logics

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make anyALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valuedALC. Our approach can be...

متن کامل

Four-valued Logics for Paraconsistent Reasoning

A drawback of many logics for reasoning on Semantic Web ontologies is the Principle of Explosion in case of inconsistent data. Considering a four-valued semantics, inconsistencies can be tolerated such that paraconsistency is obtained. We extend Belnap’s four-valued logic to a four-valued first-order logic with implication and equality, and we develop a method for translating formulas to a repr...

متن کامل

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


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

ژورنال

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

سال: 2021

ISSN: ['0002-5240', '1420-8911']

DOI: https://doi.org/10.1007/s00012-021-00726-5