Pages that link to "Item:Q1826932"
From MaRDI portal
The following pages link to From semirings to residuated Kleene lattices (Q1826932):
Displaying 14 items.
- Involutive residuated lattices based on modular and distributive lattices. (Q466876) (← links)
- A short note on divisible residuated semilattices (Q780241) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- Residuated lattices of size \(\leq 12\) (Q981681) (← links)
- Equational theories for automata (Q2074221) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- (Q5079743) (← links)
- Extensions of posets with an antitone involution to residuated structures (Q6081508) (← links)
- Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)
