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
- EP ID EP201688
- DOI 10.12775/LLP.2015.010
- Views 64
- Downloads 0
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...
Informal Fallacies as Abductive Inferences
All who teach logic are familiar with informal fallacies such as ad ignorantium (appeal to ignorance) and ad populum (appeal to popularity). While it is easy to give clear examples of poor reasoning of this sort, instruc...
The mereology of structural universals
This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of...
On some extensions of the class of MV-algebras
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...
Aristotle's Correspondence Theory of Truth and What Does Not Exist
While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that A...