Pages that link to "Item:Q2885171"
From MaRDI portal
The following pages link to Interpolation and FEP for logics of residuated algebras (Q2885171):
Displaying 18 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- (Q3505075) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- On Residuation (Q5414955) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
