The Foundations of Classical Propositional Logic
The Relative Efficiency of Propositional Proofs Systems for Classical and Nonclassical Propositional Logic
Classical versus Quantum Propositional Dynamic Logic
Propositional constants in classical and linear logic