scientific article; zbMATH DE number 3024119
From MaRDI portal
Publication:5764366
zbMath0015.24102MaRDI QIDQ5764366
Publication date: 1936
Full work available at URL: http://www.numdam.org/item?id=CM_1937__4__119_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Hybrid extensions of the minimal logic ⋮ Subminimal logics in light of Vakarelov's logic ⋮ Discursive logic. Towards a logic of rational discourse ⋮ A generalization of Curry's theorem ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Maximal elements with minimal logic ⋮ Strong decidability and strong recognizability ⋮ Strong computability of slices over the logic GL ⋮ Interpolation and definability over the logic Gl ⋮ LC and Its Pretabular Relatives ⋮ Consistency, Completeness, and Classicality ⋮ A proof-theoretic foundation of abortive continuations ⋮ Slices and levels of extensions of the minimal logic ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Negative equivalence of extensions of minimal logic ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research
