Decomposability of free Tarski algebras

DOI10.1007/s00012-003-1793-5zbMath1091.03030OpenAlexW2090827321MaRDI QIDQ2496153

José Patricio Díaz Varela, Antoni Torrens Torrell

Publication date: 12 July 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-003-1793-5

zbMATH Keywords

implication algebrasfree algebrasimplicative filtersTarski algebrasfactor congruences

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Free algebras (08B20)

Related Items (6)

Conditions for permutability of congruences in implication algebras ⋮ Factor congruences in BCK-algebras ⋮ Decomposability of free Łukasiewicz implication algebras ⋮ Representation of cubic lattices by symmetric implication algebras ⋮ Implicative twist-structures ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras

This page was built for publication: Decomposability of free Tarski algebras