Pages that link to "Item:Q800348"
From MaRDI portal
The following pages link to Logical matrices and the amalgamation property (Q800348):
Displayed 17 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- The Craig interpolation theorem for propositional logics with strong negation (Q1071753) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- On interpolation in NEXT(KB.Alt(2)) (Q4629289) (← links)
- Freeness in classes without equality (Q4934034) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- The Modelwise Interpolation Property of Semantic Logics (Q6119356) (← links)