Pages that link to "Item:Q818712"
From MaRDI portal
The following pages link to A Gentzen system for involutive residuated lattices (Q818712):
Displaying 5 items.
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)