Annals of Pure and Applied Logic information

The Annals of Pure and Applied Logic is a peer-reviewed scientific journal published by Elsevier that publishes papers on applications of mathematical...

thought until Aristotle". Annals of Pure and Applied Logic. 127 (1–3): 339–360. doi:10.1016/j.apal.2003.11.020. Aletheia and Other Terms for Truth in Ancient...

computability logic". Annals of Pure and Applied Logic 123 (2003), pages 1–99. G. Japaridze, "The logic of tasks". Annals of Pure and Applied Logic 117 (2002)...

Sequences". Annals of Pure and Applied Logic. 105 (1–3): 157–260. doi:10.1016/s0168-0072(99)00052-4. Joel David Hamkins (2018). "The modal logic of arithmetic...

Truss, J. K. (June 1995). "The structure of amorphous sets". Annals of Pure and Applied Logic. 73 (2): 191–233. doi:10.1016/0168-0072(94)00024-W. ISSN 0168-0072...

on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic. He died on 1 August 2023. Peter Aczel at the Mathematics...

choice". Annals of Pure and Applied Logic vol. 122 (2003). T. Strahm, "Wellordering Proofs for Metapredicative Mahlo". Journal of Symbolic Logic vol. 67...

exist and are all bounded, or that they exist and are all unbounded. Truss, J. K. (1995), "The structure of amorphous sets", Annals of Pure and Applied Logic...

42/26916. Blass, Andreas (1992). "A game semantics for linear logic". Annals of Pure and Applied Logic. 56 (1–3): 183–220. doi:10.1016/0168-0072(92)90073-9. hdl:2027...

Bickford, M. (2014). "Intuitionistic completeness of first-order logic". Annals of Pure and Applied Logic. 165: 164–198. arXiv:1110.1614. doi:10.1016/j.apal...

Non-commutative logic I: the multiplicative fragment by V. Michele Abrusci and Paul Ruet, Annals of Pure and Applied Logic 101(1), 2000. Logical aspects of computational...

Jacobs, Bart (1994). "Semantics of weakening and contraction". Annals of Pure and Applied Logic. 69 (1): 73–106. doi:10.1016/0168-0072(94)90020-5....

Natarajan (1992). "Decision Problems for Propositional Linear Logic". Annals of Pure and Applied Logic. 56 (1–3): 239–311. doi:10.1016/0168-0072(92)90075-B. Kanovich...

difference?". Annals of Pure and Applied Logic vol. 93 (1998), pp.255--261. El'kin, A.G. (2001) [1994], "Analytic set", Encyclopedia of Mathematics, EMS...

Seese, D. (1991), "The structure of the models of decidable monadic theories of graphs", Annals of Pure and Applied Logic, 53 (2): 169–195, doi:10...

"Proof theory of reflection" (PDF), Annals of Pure and Applied Logic, 68 (2): 181–224, doi:10.1016/0168-0072(94)90074-4 M. Rathjen, "The Realm of Ordinal Analysis"...

list of academic journals in logic. Annals of Mathematical Logic, Vols 1–23, 1970–1982. Annals of Pure and Applied Logic, 1983 ff. (Successor of the Annals...

Andre (1991). "Uniform proofs as a foundation for logic programming". Annals of Pure and Applied Logic. 51 (1–2): 125–157. doi:10.1016/0168-0072(91)90068-W...

p. 492 Melvin Fitting (2004). First-order intensional logic. Annals of Pure and Applied Logic 127:171–193. The 2003 preprint Archived 2008-07-04 at the...

interpretability and the corresponding logic. Annals of Pure and Applied Logic 61 (1993), pp. 113–160. G. Japaridze and D. de Jongh, The logic of provability...

Japaridze, The intuitionistic fragment of computability logic at the propositional level. Annals of Pure and Applied Logic 147 (2007), pages 187–227. doi:10...