Selected Works

argument Aristotelian Aristotle Aristotle's asserted axiomatic CCpqCCqrCpr concept consequence CpCqp defined definition denote equal equiform equivalent example fact falsehood formal logic formula functions functor given hence home tomorrow noon implication indefinite proposition interpretation intuitionistic intuitive Jan Łukasiewicz judgements law of bivalence Leśniewski less logical value logiki logistic Łukasiewicz Lw�w magnitudes many-valued systems mathematical logic matrix meaningful expressions means method modal logic natural numbers negation normal matrix not-p obtain paper Peirce's law philosophical possible premisses principle principle of bivalence probability problem proof propo propositional calculus propositional logic proved quantifiers reason rejected relation rule of detachment rule of substitution rules of inference satisfied sentence sentential calculus sitions Sobociński Stoic substitution and detachment syllogism symbol system of propositional Tarski theorem theory of deduction thesis tion true nor false truth value two-valued logic valid verified Wajsberg Warsaw yields δὲ εἰ καὶ τὸ πρῶτον