Reasoning in Commutative Kleene Algebras from *-free Hypotheses

In Igor Sedlár (ed.), The Logica Yearbook, 2021. College Publications. pp. 99-114 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.Arun Kumar & Mohua Banerjee - 2017 - Studia Logica 105 (3):439-469.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Relating Kleene Algebras with Pseudo Uninorms.Benjamin Bedregal, Regivan Santiago, Alexandre Madeira & Manuel Martins - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 37-55.
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Simple Logics for Basic Algebras.Ja̅nis Cı̅rulis - 2015 - Bulletin of the Section of Logic 44 (3/4):95-110.
Commutative falling neutrosophic ideals in BCK-algebras.Young Bae Jun, Florentin Smarandache & Mehmat Ali Ozturk - 2018 - Neutrosophic Sets and Systems 20:44-53.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Non-commutative logical algebras and algebraic quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
On Some Classes of Commutative Weak BCK-Algebras.Jānis Cīrulis - 2015 - Studia Logica 103 (3):479-490.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.

Analytics

Added to PP
2023-08-25

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references