Boolean-like algebras

A Salibra, A Ledda, F Paoli, T Kowalski - Algebra Universalis, 2013 - Springer
Using Vaggione's concept of central element in a double-pointed algebra, we introduce the
notion of Boolean-like variety as a generalisation of Boolean algebras to an arbitrary …

Quasi-pseudo-BL algebras and weak filters

W Chen, J Xu - Soft Computing, 2023 - Springer
In this paper, we introduce the notion of weak filters in quasi-pseudo-BL algebras. First, we
discuss the properties of weak filters of a quasi-pseudo-BL algebra and characterize the …

Ideals and congruences in quasi-pseudo-MV algebras

W Chen, WA Dudek - Soft Computing, 2018 - Springer
Quasi-pseudo-MV algebras (quasi-pMV algebras, for short) were introduced both as the
generalization of quasi-MV algebras and as the generalization of pseudo-MV algebras. In …

Quantum computational algebra with a non-commutative generalization

W Chen, WA Dudek - Mathematica Slovaca, 2016 - degruyter.com
We introduce a non-commutative generalization of quasi-MV algebra, called quasipseudo-
MV algebra. We present some properties of quasi-pseudo-MV algebras and investigate the …

[HTML][HTML] Lattice-theoretic properties of algebras of logic

A Ledda, F Paoli, C Tsinakis - Journal of Pure and Applied Algebra, 2014 - Elsevier
In the theory of lattice-ordered groups, there are interesting examples of properties—such as
projectability—that are defined in terms of the overall structure of the lattice-ordered group …

On some Properties of quasi-MV√ Algebras and quasi-MV Algebras. Part IV

P Jipsen, A Ledda, F Paoli - Reports on Mathematical logic, 2013 - ceeol.com
In the present paper, which is a sequel to [20, 4, 12], we investigate further the structure
theory of quasi-MV algebras and√ quasi-MV algebras. In particular: we provide a new …

Structural completeness in quasivarieties

P Aglianó, A CItkin - arXiv preprint arXiv:2401.02754, 2024 - arxiv.org
In this paper we study various forms of (hereditary) structural completeness for
quasivarieties of algebras, using mostly algebraic techniques. More specifically we study …

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism

T Kowalski, K Słomczyńska - arXiv preprint arXiv:2405.14581, 2024 - arxiv.org
We give a new construction of free distributive p-algebras. Our construction relies on a
detailed description of completely meet-irreducible congruences, so it is purely universal …

The representation of square root quasi-pseudo-MV algebras

W Chen, WA Dudek - Soft Computing, 2015 - Springer
Abstract'′ quasi-MV algebras arising from quantum computation are term expansions of
quasi-MV algebras. In this paper, we introduce a generalization of'′ quasi-MV algebras …

States, state operators and quasi-pseudo-MV algebras

W Chen, WA Dudek - Soft Computing, 2018 - Springer
Quasi-pseudo-MV algebras (quasi-pMV algebras, for short) arising from quantum
computational logics are the generalizations of both quasi-MV algebras and pseudo-MV …