Pages that link to "Item:Q3144874"

The following pages link to Craig interpolation for semilinear substructural logics (Q3144874):

Displaying 10 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
• Structure theorems for idempotent residuated lattices (Q2182567) (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
• Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
• Uniform interpolation and compact congruences (Q2363208) (← links)
• Epimorphisms in varieties of residuated structures (Q2411405) (← links)
• The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices (Q3454727) (← links)
• Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
• Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)