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

Simple cut elimination proof for hybrid logic

In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...

Interplays of knowledge and non-contingency

This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.

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.

A Theory of Propositions

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views...

Category Free Category Theory and Its Philosophical Implications

There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relat...

Download PDF file
  • EP ID EP201688
  • DOI 10.12775/LLP.2015.010
  • Views 70
  • 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