Pages that link to "Item:Q1260029"

The following pages link to Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029):

Displaying 41 items.

• Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
• Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
• Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
• The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
• Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
• Reactive intuitionistic tableaux (Q542126) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Recognizable and perceptible logics and varieties (Q683376) (← 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)
• On semiconic idempotent commutative residuated lattices (Q776990) (← links)
• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• Hybrid extensions of the minimal logic (Q820493) (← links)
• Recognizable logics (Q887647) (← links)
• The disjunction property of intermediate propositional logics (Q1181482) (← links)
• The algebraic relational theory in the analysis of the reversibility of biological processes becoming malignant (Q1362249) (← links)
• Lattices due to increasing low energy relational processes (Q1368419) (← links)
• On extensions of intermediate logics by strong negation (Q1386683) (← links)
• Changing algebras in low energy biologic relational processes (Q1388953) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• Nonmodular lattices derived from distributive ones representing qualitative biologic interactions (Q1900279) (← links)
• On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
• First-order interpolation derived from propositional interpolation (Q2193292) (← links)
• Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
• Layers over minimal logic (Q2364334) (← links)
• Definability and interpolation in non-classical logics (Q2498367) (← links)
• Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
• On classical behavior of intuitionistic modalities (Q2987729) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• Bounded distributive lattices with strict implication (Q4680368) (← links)
• On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
• The small index property of the Fraïssé limit of finite Heyting algebras (Q6038511) (← links)
• THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)
• Craig's interpolation property in pretabular logics (Q6203335) (← links)
• Pretabularity and Craig's interpolation property (Q6539754) (← links)
• Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)