scientific article; zbMATH DE number 3045411
From MaRDI portal
Publication:5783647
zbMath0029.09801MaRDI QIDQ5783647
Publication date: 1948
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Improving a fixed parameter tractability time bound for the shadow problem ⋮ Formalizing axiomatic systems for propositional logic in Isabelle/HOL ⋮ Jan Łukasiewicz Life, Work, Legacy ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ On the uniqueness of the shortest single axiom or the implicational calculus of propositions ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ The complexity of the falsifiability problem for pure implicational formulas ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures
This page was built for publication:
