Books in Print
  • Algebraic Methods in Philosophical Logic (with Michael Dunn), Oxford University Press, 2001, 470 pp., ISBN# 0-19 853192-3.
  • Symbolic Logic, A First Course, Fourth Edition, McGraw-Hill, 2011, 420 pages, ISBN 0-07-803981-9.
Book Chapters in Print
  • "The Conditional in Quantum Logic", in P. Suppes (ed.), Logic and Probability in Quantum Mechanics, D. Reidel, Dordrecht, 1976, 55-72.
  • "The Conditional in Abstract and Concrete Quantum Logic", in C.A. Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, Volume II: Contemporary Consolidation, D. Reidel, Dordrecht, 1979, 49-108.
  • "Reichenbach and the Logic of Quantum Mechanics", in W.C. Salmon (ed.), Hans Reichenbach: Logical Empiricist, D.Reidel, Dordrecht, 1979, 475-512.
  • "Reichenbach and the Interpretation of Quantum Mechanics", in W.C. Salmon (ed.), Hans Reichenbach: Logical Empiricist, D. Reidel, Dordrecht, 1979, 513-566.
  • "Charting the Labyrinth of Quantum Logics: A Progress Report" (with P.J. Frazer), in E. Beltrametti and B.C. van Fraassen (eds.), Current Issues in Quantum Logic, Plenum Press, 1981, 53-76.
  • "Some Problems and Methods in Formal Quantum Logic", in E. Beltrametti and B.C. van Fraassen (eds.), Current Issues in Quantum Logic, Plenum Press, 1981, 209-225.
Journal Articles in Print
  • "The Conditional in Quantum Logic", Synthese, 29 (1974), 63-80.
  • "Quasi-Implicative Lattices and the Logic of Quantum Mechanics", Zeitschrift für Naturforschung, 30a (1975), 1347-60.
  • "Stalnaker Conditionals and Quantum Logic" Journal of Philosophical Logic, 4 (1975), 399-421.
  • "The Modal Interpretation of Quantum Mechanics", in F. Suppe and P.D. Asquith (eds), PSA:1976,Vol.I, Philosophy of Science Association, East Lansing, 1976, 82-103.
  • "Relative Compatibility in Conventional Quantum Mechanics", Foundations of Physics, 7 (1977), 495-510.
  • "Reichenbach and the Logic of Quantum Mechanics", Synthese, 35 (1977), 3-40.
  • "Micro-States in the Interpretation of Quantum Theory", in P.D. Asquith and R.N. Giere (eds.), PSA:1980,Vol.I, Philosophy of Science Association, East Lansing, 1980, 43-54.
  • "Material Implication in Orthomodular (and Boolean) Lattices", Notre Dame Journal of Formal Logic, 22 (1981), 163-82.
  • "Quasi-Implication Algebras, Part 1: Elementary Theory", Algebra Universalis, 12 (1981), 30-47.
  • "Quasi-Implication Algebras, Part 2: Structure Theory", Algebra Universalis, 12 (1981), 48-65.
  • "An Axiom System for Orthomodular Quantum Logic", Studia Logica, 40 (1981), 1-12.
  • "An Approach to the Logic of Natural Kinds", Pacific Philosophical Quarterly, 63 (1982), 122-132.
  • "Connections Among Quantum Logics, Part 1: Quantum Propositional Logics", (with P.F. Lock), International Journal of Theoretical Physics, 24 (1985), 43-53.
  • "Connections Among Quantum Logics, Part 2: Quantum Event Logics", (with P.F. Lock), International Journal of Theoretical Physics, 24 (1985), 55-61.
  • "Completeness and Supervaluations", Journal of Philosophical Logic, 34 (2005), 81-95.
Reviews
  • Topics in Conditional Logic (D. Nute, D. Reidel, 1980) Journal of Symbolic Logic, 47 (1982), 713-714.
  • Model Theoretic Methods in Methodology of Propositional Calculus (J. Czelakowski, Polish Academy of Sciences, 1980) (with B.B. Barley), Mathematical Reviews, 82C (1982), 943-944.
  • "Modal Propositional Logic on an Orthomodular Basis.I" (L. Herman and R. Piziak, J. Symbolic Logic, 39, 478-88), Mathematical Reviews, 51 (1976), 8-9.
  • "Time Dependent Propositions and Quantum Logic" (P. Mittelstaedt, J. Philosophical Logic, 6, 463-72), Mathematical Reviews, 58 (1979), 4037-4038.
  • "Quantum Realism: Naivete is no Excuse" (R. Healey, Synthese, 42, 121-144), Mathematical Reviews, 81F (1981), 2403.
  • "On Arthur Fine's Interpretation of Quantum Mechanics" (A. Stairs, Synthese, 42, 91-100), Mathematical Reviews, 81F (1981), 2403.
  • "Algebraic Semantics for Conditional Logic" (D. Nute, Reports on Mathematical Logic, 10, 79-101), Mathematical Reviews, 81k (1981), 4376.
  • "Why it is Impossible in QM to Describe Two or More Separated Entities", (D. Aerts, Acad. Roy. Belg. Bull. Cl. Sci., 66, 705-714), Mathematical Reviews, 83b (1983), 801.
Mass Media Articles about my Research
  • "Quantum Logic Looks for the Structure Beneath the Structure", by David Lyon, Contact, pp. 1-3 (plus cover design), Volume 5, No. 4, November, 1979.
Works in Progress
  • Compositional Semantics, 300 pages.
  • A Second Course in Symbolic Logic, 150 pages.
  • Elementary Axiomatic Set Theory, 185 pages.
  • Introduction to Metalogic, 400 pages.
  • Introduction to Modal Logic, 400 pages.
  • An Axiomatic Theory of Truth, 80 pages.
On-Line Articles
These require Adobe Acrobat Reader.