The following pages link to (Q5783647):
Displayed 9 items.
- Improving a fixed parameter tractability time bound for the shadow problem (Q1877708) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Jan Łukasiewicz Life, Work, Legacy (Q5056078) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- On the uniqueness of the shortest single axiom or the implicational calculus of propositions (Q5684638) (← links)
- The complexity of the falsifiability problem for pure implicational formulas (Q5917958) (← links)