The following pages link to (Q5819447):
Displaying 5 items.
- Axiom systems of Aristotle traditional logic, III (Q5549022) (← links)
- On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor (Q5569096) (← links)
- On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ (Q5586218) (← links)
- Algebraic formulations of propositional calculi with variable forming functors (Q5599779) (← links)
- On axiom systems of propositional calculi, II (Q5628085) (← links)
