Pages that link to "Item:Q2253035"
From MaRDI portal
The following pages link to Amalgamation and interpolation in ordered algebras. (Q2253035):
Displaying 28 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On some properties of directoids (Q344093) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- The logic of the strongest and the weakest t-norms (Q1677041) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- Linearly ordered sets with only one operator have the amalgamation property (Q2231695) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Orthogonal relational systems (Q2403274) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- On Heyting algebras with negative tense operators (Q6067747) (← links)
- Gluing residuated lattices (Q6139862) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Semilinear idempotent distributive \(\ell\)-monoids (Q6199094) (← links)
- Varieties defined by basic equations have the amalgamation property (Q6600746) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)
