Partially-Ordered (Branching) Generalized Quantifiers: A General Definition G.Y. Sher OriginalPaper Pages: 1 - 43
A Double Deduction System for Quantum Logic Based On Natural Deduction Yannis Delmas-Rigoutsos OriginalPaper Pages: 57 - 67
The k-variable property is stronger than H-dimension k Ian HodkinsonAndrĂ¡s Simon OriginalPaper Pages: 81 - 101
Supervaluations and the Propositional Attitude Constraint J. A. Burgess OriginalPaper Pages: 103 - 119