Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic (...) completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, Łukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates. (shrink)

The main purpose of this paper is to introduce a class of algebraic structures related to many-valued ukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.

The set (X, J) of fuzzy subsetsf:XJ of a setX can be equipped with a structure of -valued ukasiewicz-Moisil algebra, where is the order type of the totally ordered setJ. Conversely, every ukasiewicz-Moisil algebra — and in particular every Post algebra — is isomorphic to a subalgebra of an algebra of the form (X, J), whereJ has an order type . The first result of this paper is a characterization of those -valued ukasiewicz-Moisil algebras which are isomorphic to an algebra (...) of the form (X, J) (Theorem 1). Then we prove that (X, J) is a Post algebra if and only if the setJ is dually well-ordered (Theorem 2) and we give a characterization of those -valued Post algebras with are isomorphic to an algebra of the form (X, J) (Theorem 3 and Proposition 2). (shrink)

We introduce Łukasiewicz-Moisil relation algebras, obtained by considering a relational dimension over Łukasiewicz-Moisil algebras. We prove some arithmetical properties, provide a characterization in terms of complex algebras, study the connection with relational Post algebras and characterize the simple structures and the matrix relation algebras.

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras,, (which are well-understood) to the more general category \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal L}$$\end{document}Mn of Łukasiewicz–Moisil Algebras. Furthermore, the relationships of LMn-algebras to other many-valued logical structures, (...) such as the n-valued Post, MV and Heyting logic algebras, are investigated and several pertinent theorems are derived. Applications of Łukasiewicz–Moisil Algebras to biological problems, such as nonlinear dynamics of genetic networks – that were previously reported – are also briefly noted here, and finally, probabilities are precisely defined over LMn-algebras with an eye to immediate, possible applications in biostatistics. (shrink)

A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we consider the (...) chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n=1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. (shrink)