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 79
- Downloads 0
Rational Agency from a Truth-Functional Perspective
The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of ra...
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.
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...
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.
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...