Now showing items 1-1 of 1

    • A propositional calculus: Based on the Łukasiewicz's system 

      Ford, Dayna Lee (2006-12)
      In Symbolic Logic, 5th Ed., by Irving M. Copi (Copi, 1979), there is a problem asking for the proof of the independence of each axiom from a set of axioms for a propositional calculus. This problem reads: 4. The Łukasiewicz's ...