Splittings in Subreducts of Hoops

Studia Logica 110 (5):1155-1187 (2022)
  Copy   BIBTEX

Abstract

In this paper we extend to various classes of subreducts of hoops some results about splitting algebras. In particular we prove that every finite chain in the purely implicational fragment of basic hoops is splitting and that every finite chain in the \ fragment of hoops is splitting. We also produce explicitly the splitting equations in most cases.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-022-09997-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
Basic hoops: An algebraic study of continuous T -norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Friedberg splittings of recursively enumerable sets.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 59 (3):175-199.
Decidable Varieties Of Hoops.Stanley Burris & Isabel Ferreirim - 1994 - Reports on Mathematical Logic:53-59.
Degree theoretical splitting properties of recursively enumerable sets.Klaus Ambos-Spies & Peter A. Fejer - 1988 - Journal of Symbolic Logic 53 (4):1110-1137.
On the Structure of Pseudo BL-algebras and Pseudo Hoops in Quantum Logics.A. Dvurečenskij, R. Giuntini & T. Kowalski - 2010 - Foundations of Physics 40 (9-10):1519-1542.
Falling shadow theory with applications in hoops.Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologani & Young Bae Jun - forthcoming - Bulletin of the Section of Logic.
Splittings of lattices of quasivarieties.Andrzej Wronski - 1981 - Bulletin of the Section of Logic 10 (3):128-129.
Falling Shadow Theory with Applications in Hoops.Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani & Young Bae Jun - 2021 - Bulletin of the Section of Logic 50 (3):337-353.
Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
Unification in some Substructural Logics of BL-algebras and Hoops.Wojciech Dzik - 2008 - Reports on Mathematical Logic.
Splitting theorems and the jump operator.R. G. Downey & Richard A. Shore - 1998 - Annals of Pure and Applied Logic 94 (1-3):45-52.
Even more about the lattice of tense logics.Marcus Kracht - 1992 - Archive for Mathematical Logic 31 (4):243-257.

Analytics

Added to PP
2022-05-06

Downloads
13 (#1,039,612)

6 months
8 (#366,578)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
The bottom of the lattice of BCK-varieties.Tomasz Kowalski - 1995 - Reports on Mathematical Logic:87-93.

View all 7 references / Add more references