scientific article; zbMATH DE number 3031479

MaRDI QIDQ5771193zbMATH OpenFDO

Authors M. Wajsberg

Publication date 1939

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(12)

• An alternative normalization of the implicative fragment of classical logic
• Maximality and refutability
• Practical Proof Search for Coq by Type Inhabitation
• On disjunctions and existential statements in intuitionistic systems of logic
• V. Yankov’s Contributions to Propositional Logic
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• scientific article; zbMATH DE number 7300350 (Why is no real title available?)
• Key notions of Tarski's methodology of deductive systems
• Contribution of Warsaw logicians to computational logic
• Linearizing intuitionistic implication
• Admissibility in positive logics
• A semantic hierarchy for intuitionistic 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 Q5771193)