Pages that link to "Item:Q1074573"
From MaRDI portal
The following pages link to Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573):
Displaying 14 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Natural dualities for varieties of BL-algebras (Q2576643) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- (Q5556404) (← links)