scientific article; zbMATH DE number 3045411
From MaRDI portal
Publication:5783647
Cited in
(14)- Improving a fixed parameter tractability time bound for the shadow problem
- Learning from Łukasiewicz and Meredith: investigations into proof structures
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
- Simplified Axiom Schemes for Implication and Iterated Implication
- Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
- scientific article; zbMATH DE number 5147179 (Why is no real title available?)
- 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
- The complexity of the falsifiability problem for pure implicational formulas
- Unification in matching logic
- Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’
- Investigations into proof structures
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 Q5783647)
