Pages that link to "Item:Q2498905"
From MaRDI portal
The following pages link to Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905):
Displaying 27 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← 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)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
