display all the ideas for this combination of texts
3 ideas
15525 | Plural quantification lacks a complete axiom system [Lewis] |
15518 | I like plural quantification, but am not convinced of its connection with second-order logic [Lewis] |
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |