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.

Aglianò, P. (2022). Splittings in Subreducts of Hoops. STUDIA LOGICA [10.1007/s11225-022-09997-y].

Splittings in Subreducts of Hoops

Aglianò, Paolo
2022

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.
Aglianò, P. (2022). Splittings in Subreducts of Hoops. STUDIA LOGICA [10.1007/s11225-022-09997-y].
File in questo prodotto:
File Dimensione Formato  
Splittings in Subreducts of Hoops.pdf

accesso aperto

Tipologia: PDF editoriale
Licenza: Creative commons
Dimensione 481.01 kB
Formato Adobe PDF
481.01 kB Adobe PDF Visualizza/Apri
newsplittingBCK.pdf

non disponibili

Tipologia: Pre-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 460.11 kB
Formato Adobe PDF
460.11 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11365/1206266