scientific article; zbMATH DE number 3024119

Cited in

(29)

Strong decidability and strong recognizability
Strong computability of slices over the logic GL
Slices and levels of extensions of the minimal logic
Negative equivalence of extensions of minimal logic
Discursive logic. Towards a logic of rational discourse
Jean van Heijenoort's contributions to proof theory and its history
The interpolation problem in finite-layered pre-Heyting logics
Inference rules in Nelson's logics, admissibility and weak admissibility
Topological representation of intuitionistic and distributive abstract logics
A proof-theoretic foundation of abortive continuations
AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
LC and its pretabular relatives
Consistency, completeness, and classicality
A generalization of Curry's theorem
Maximal elements with minimal logic
Interpolation and definability over the logic Gl
A study of algebraic structures and logics based on categories of rough sets
Pretabularity and Craig's interpolation property
Another combination of classical and intuitionistic conditionals
Interpolation and the projective Beth property in well-composed logics
Decidability of the weak interpolation property over the minimal logic
On the Weihrauch degree of the additive Ramsey theorem
Complemented subsets and Boolean-valued, partial functions
Defining long words succinctly in FO and MSO
On the first-order parts of problems in the Weihrauch degrees
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Dual intuitionistic logic and a variety of negations: the logic of scientific research
Hybrid extensions of the minimal logic
Subminimal logics in light of Vakarelov's logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5764366)