The following pages link to (Q3022776):
Displayed 40 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Modal interpolation via nested sequents (Q487689) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Rings and Gödel algebras. (Q616126) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Classification of extensions of the modal logic S4 (Q2436104) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Failure of Interpolation in Constant Domain Intuitionistic Logic (Q2869908) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Interpolation via translations (Q3184216) (← links)
- The class of polyadic algebras has the super amalgamation property (Q3406455) (← links)
- BELIEF REVISION IN NON-CLASSICAL LOGICS (Q3580673) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)