scientific article; zbMATH DE number 3031479

zbMath0019.38503MaRDI QIDQ5771193

M. Wajsberg

Publication date: 1939

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Foundations, philosophy, logic

Related Items (12)

V. Yankov’s Contributions to Propositional Logic ⋮ Practical Proof Search for Coq by Type Inhabitation ⋮ Intermediate logics with the same disjunctionless fragment as intuitionistic logic ⋮ Admissibility in positive logics ⋮ Contribution of Warsaw logicians to computational logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Linearizing intuitionistic implication ⋮ Maximality and refutability ⋮ Key notions of Tarski's methodology of deductive systems ⋮ On disjunctions and existential statements in intuitionistic systems of logic ⋮ Unnamed Item ⋮ An alternative normalization of the implicative fragment of classical logic

This page was built for publication: