This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of ...

Commutative algebra and graph theory are two vibrant areas of mathematics that have grown increasingly interrelated. At this interface, algebraic methods are applied to study combinatorial structures, ...

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, ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...