The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
SN and {CR} for free-style {${\bf LK}\sp {tq}$}: linear decorations and simulation of normalization
Jean-Baptiste Joinet, et al. (2002)
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
Olivier Lessmann. (2005)
A structural investigation on formal topology: coreflection of formal covers and exponentiability
Maria Emilia Maietti, et al. (2004)
