The following pages link to (Q5764366):
Displayed 21 items.
- 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)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- Discursive logic. Towards a logic of rational discourse (Q1891933) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) (Q2481250) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- A generalization of Curry's theorem (Q5601457) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)