# Template for Publications of the Astronomical Society of Japan (PASJ)

Author
Oxford University Press (uploaded by LianTze Lim)
AbstractThe Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included. For more information about the journal, see http://pasj.oxfordjournals.org/.