Journal of Symbolic Logic Issues 20 Research Articles in June 2019 Edition
August 22, 2019
August 22, 2019
STORRS, Connecticut, Aug. 22 -- The Journal of Symbolic Logic, a journal that says it features mathematical logic and its applications from the Association for Symbolic Logic, published 20 research articles, including the following topics, in its June 2019 edition:
* A Correct Polynomial Translation of S4 Into Intuitionistic Logic
* A New Dp-Minimal Expansion of the Integers
* A Separation Result for Countable Unions of Borel Rectangles
* A Tai . . .
* A Correct Polynomial Translation of S4 Into Intuitionistic Logic
* A New Dp-Minimal Expansion of the Integers
* A Separation Result for Countable Unions of Borel Rectangles
* A Tai . . .