Pages that link to "Item:Q3583099"
From MaRDI portal
The following pages link to Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics (Q3583099):
Displaying 17 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
