scientific article; zbMATH DE number 3080539
From MaRDI portal
Publication:5819447
Cited in
(5)- Axiom systems of Aristotle traditional logic, III
- On the proposition C\delta CpqC\delta p\delta q with a variable functor
- On the propositional calculus with a variable functor, C \delta pC \delta Np \delta q
- Algebraic formulations of propositional calculi with variable forming functors
- On axiom systems of propositional calculi, II
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 Q5819447)