Pages that link to "Item:Q4913809"
From MaRDI portal
The following pages link to Residuated frames with applications to decidability (Q4913809):
Displayed 13 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- The finite embeddability property for noncommutative knotted extensions of RL (Q5252302) (← links)