Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

Marcos Mazari-Armida, a postdoctoral researcher at CU Boulder, wins 2021 Sacks Prize from the Association of Symbolic Logic A University of Colorado Boulder mathematician has won the Sacks Prize, ...

We give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of ...

We describe which subdirectly irreducible flat algebras arise in the variety generated by an arbitrary class of flat algebras with absorbing bottom element. This is used to give an elementary ...