On some extensions of the class of MV-algebras

Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 1

Abstract

In the present paper we will ask for the lattice L(MVEx) of subvarieties of the variety defined by the set Ex(MV) of all externally compatible identities valid in the variety MV of all MV-algebras. In particular, we will find all subdirectly irreducible algebras from the classes in the lattice L(MVEx) and give syntactical and semantical characterization of the class of algebras defined by P-compatible identities of MV-algebras.

Authors and Affiliations

Krystyna Mruczek-Nasieniewska

Keywords

Related Articles

Sequents for non-wellfounded mereology

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.

Trivial Dialetheism and the Logic of Paradox

In this paper we explain that the paraconsistent logic LP (Logic of Paradox) promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.

The Case of Dialetheism

The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...

The Need for Pluralism of Causality

It will be shown in this article that a pluralism of causality is needed. Not only, as might be expected, for such different domains as natural sciences and humanities, but even within the domain of physics different cau...

Composition, identity, and emergence

Composition as Identity (CAI) is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently...

Download PDF file
  • EP ID EP201688
  • DOI 10.12775/LLP.2015.010
  • Views 72
  • Downloads 0

How To Cite

Krystyna Mruczek-Nasieniewska (2016). On some extensions of the class of MV-algebras. Logic and Logical Philosophy, 25(1), 35-50. https://europub.co.uk/articles/-A-201688