-
2Properties Preserved under Definitional Equivalence and InterpretationsMathematical Logic Quarterly 24 (31‐36): 481-488. 2006.
-
90Α Logic and Infinitary LanguagesZeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1): 105-112. 1976.
-
95Algebraic logic with generalized quantifiersNotre Dame Journal of Formal Logic 16 (4): 511-516. 1975.
-
120Properties Preserved under Definitional Equivalence and InterpretationsMathematical Logic Quarterly 24 (31-36): 481-488. 1978.
-
54A note on the decomposition of theories with respect to amalgamation, convexity, and related propertiesNotre Dame Journal of Formal Logic 19 (1): 115-118. 1978.
-
86Stone space of cylindric algebras and topological model spacesJournal of Symbolic Logic 81 (3): 1069-1086. 2016.
-
104A simple algebra of first order logicNotre Dame Journal of Formal Logic 14 (3): 361-366. 1973.A new system of algebraic logic is described. it is closely related to cylindric and polyadic algebras, and is axiomatized by a small number of very simple equations.
-
Bucknell UniversityRegular Faculty
Lewisburg, Pennsylvania, United States of America
Areas of Interest
| Philosophy of Cognitive Science |
| Philosophy of Mathematics |