scientific article; zbMATH DE number 3231073
From MaRDI portal
Publication:5519125
zbMath0143.25102MaRDI QIDQ5519125
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
V. Yankov’s Contributions to Propositional Logic ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ A semantic hierarchy for intuitionistic logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
This page was built for publication:
