-
34Α Logic and Infinitary LanguagesZeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1): 105-112. 1976.
-
26Algebraic logic with generalized quantifiersNotre Dame Journal of Formal Logic 16 (4): 511-516. 1975.
-
38Properties Preserved under Definitional Equivalence and InterpretationsMathematical Logic Quarterly 24 (31-36): 481-488. 1978.
-
9A note on the decomposition of theories with respect to amalgamation, convexity, and related propertiesNotre Dame Journal of Formal Logic 19 (1): 115-118. 1978.
-
18Stone space of cylindric algebras and topological model spacesJournal of Symbolic Logic 81 (3): 1069-1086. 2016.
-
14A 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 |