scientific article; zbMATH DE number 3024119
From MaRDI portal
Publication:5764366
zbMATH Open0015.24102MaRDI QIDQ5764366FDOQ5764366
Authors: Ingebrigt Johansson 
Publication date: 1936
Full work available at URL: http://www.numdam.org/item?id=CM_1937__4__119_0
Title of this publication is not available (Why is that?)
Cited In (24)
- Hybrid extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Decidability of the weak interpolation property over the minimal logic
- Interpolation and the projective Beth property in well-composed logics
- Inference rules in Nelson's logics, admissibility and weak admissibility
- A generalization of Curry's theorem
- Subminimal logics in light of Vakarelov's logic
- Another combination of classical and intuitionistic conditionals
- Discursive logic. Towards a logic of rational discourse
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- The interpolation problem in finite-layered pre-Heyting logics
- Strong decidability and strong recognizability
- LC and Its Pretabular Relatives
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
- A proof-theoretic foundation of abortive continuations
- Jean van Heijenoort's contributions to proof theory and its history
- Topological representation of intuitionistic and distributive abstract logics
- Negative equivalence of extensions of minimal logic
- Consistency, Completeness, and Classicality
- A study of algebraic structures and logics based on categories of rough sets
- Maximal elements with minimal logic
- Pretabularity and Craig's interpolation property
- Strong computability of slices over the logic GL
- Slices and levels of extensions of the minimal 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)
