Pages that link to "Item:Q3546123"
From MaRDI portal
The following pages link to The Beth property and interpolation in lattice-based algebras and logics (Q3546123):
Displaying 6 items.
- Leibniz interpolation properties (Q393904) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- On the Beth properties of some intuitionistic modal logics (Q1407549) (← links)
- Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics (Q3583099) (← links)