From semirings to residuated Kleene lattices

DOI10.1023/B:STUD.0000032089.54776.63zbMath1045.03049WikidataQ28314826 ScholiaQ28314826MaRDI QIDQ1826932

Peter Jipsen

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Gentzen systemsresiduated latticesKleene algebrascongruence propertiesSemiringsaction algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

Solving Linear Equations in *-continuous Action Lattices ⋮ Extensions of posets with an antitone involution to residuated structures ⋮ Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Involutive residuated lattices based on modular and distributive lattices. ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Infinitary action logic: complexity, models and grammars ⋮ Type logics and pregroups ⋮ Unnamed Item ⋮ Residuated lattices of size \(\leq 12\) ⋮ Equational theories for automata ⋮ A short note on divisible residuated semilattices ⋮ Splittings in GBL-algebras. I: The general case