scientific article; zbMATH DE number 3264054
From MaRDI portal
Publication:5549788
zbMath0165.01201MaRDI QIDQ5549788
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Positive Formulas in Intuitionistic and Minimal Logic ⋮ A comparison between monoidal and substructural logics ⋮ Admissibility in positive logics ⋮ The algebraic significance of weak excluded middle laws ⋮ Monoidal logics: completeness and classical systems ⋮ Natural factors of the Medvedev lattice capturing IPC ⋮ Truth-maker semantics for intuitionistic logic ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Intuitionistic logic and implicit definability
This page was built for publication:
