Pages that link to "Item:Q1591374"
From MaRDI portal
The following pages link to Intuitionistic logic and implicit definability (Q1591374):
Displaying 42 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← 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)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← 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)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Superintuitionistic logics and the projective Beth property (Q2713994) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- (Q3481670) (← links)
- Dominions of universal algebras and projective properties (Q3546134) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Complexity of interpolation and related problems in positive calculi (Q4532622) (← links)
- Дедуктивные логики и их связь с интуиционистской логикой (Q4566143) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- (Q4764114) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Intuitionistic Logic and Computability Theory (Q4931589) (← links)
- (Q5039161) (← links)
- (Q5411496) (← links)
