scientific article; zbMATH DE number 3031479

zbMATH Open0019.38503MaRDI QIDQ5771193FDOQ5771193

M. Wajsberg

Publication date: 1939

Title of this publication is not available (Why is that?)

zbMATH Keywords

Foundations, philosophy, logic

Cited In (12)

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

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)