Journals (Publications)

Journals Sites:

Journal of Symbolic Logic Journal of Symbolic Logic: Official organ of the Association of Symbolic Logic. (Journals) http://www.aslonline.org/journals-journal.html Journal of Logic, Language and Information Journal of Logic, Language and Information: Editors' site. (Journals) http://www.folli.uva.nl/jolli.html Journal of Mathematical Logic Journal of Mathematical Logic: World Scientific. Contents and abstracts of all issues; full text to institutional subscribers. (Journals) http://www.worldscinet.com/jml/jml.shtml Annals of Pure and Applied Logic Annals of Pure and Applied Logic: (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers. (Journals) http://www.sciencedirect.com/science/journal/01680072 Transactions on Computational Logic Transactions on Computational Logic: Devoted to research concerned with all uses of logic in computer science. (Journals) http://www.acm.org/pubs/tocl/ Journal of Applied Non-Classical Logics Journal of Applied Non-Classical Logics: Includes aims and scopes, editorial staff and contact information. (Journals) http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/home.html Notre Dame Journal of Formal Logic Notre Dame Journal of Formal Logic: Publisher's site, access restricted. (Journals) http://www.nd.edu/~ndjfl/ Archive for Mathematical Logic Archive for Mathematical Logic: (Springer) Tables of contents from vol.34 (1995) on. Full text to subscribers via LINK. (Journals) http://link.springer.de/link/service/journals/00153/ Fundamenta Mathematicae Fundamenta Mathematicae: Publisher's site. (Journals) http://www.impan.gov.pl/PUBL/publ/publ_fm/main/index.html Logic Journal of the IGPL Logic Journal of the IGPL: An Electronic Journal on Pure and Applied Logic. Editors' page with author information. (Journals) http://www.dcs.kcl.ac.uk/journals/igpl/ Logical Analysis and History of Philosophy Logical Analysis and History of Philosophy: Intends to provide a forum for articles in which classical philosophical texts are interpreted by drawing on the resources of modern formal logic; abstracts online. (Journals) http://www.uni-bonn.de/pla/eng1.htm History and Philosophy of Logic History and Philosophy of Logic: Editor's site. (Journals) http://www.leeds.ac.uk/philosophy/html/hpl.htm Mathematical Logic Quarterly Mathematical Logic Quarterly: Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers. (Journals) http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/ Bulletin of Symbolic Logic Bulletin of Symbolic Logic: All articles in postscript format. (Journals) http://www.math.ucla.edu/~asl/bsltoc.htm Nordic Journal of Philosophical Logic Nordic Journal of Philosophical Logic: All articles available online. (Journals) http://www.hf.uio.no/filosofi/njpl/ Reports on Mathematical Logic Reports on Mathematical Logic: (Jagiellonian University Press) Contents and abstracts from no.25 (1991). (Journals) http://www.uj.edu.pl/Phils/rml/rml.htm Journal of Philosophical Logic Journal of Philosophical Logic: Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Published by Kluwer, this site contains a sample copy and an archive of tables of contents. (Journals) http://www.wkap.nl/journalhome.htm/0022-3611 Colloquium Mathematicum Colloquium Mathematicum: Colloquium Mathematicum frequently publishes research articles in foundations. (Journals) http://www.impan.gov.pl/PUBL/publ/publ_cm/main/ Journal of Automated Reasoning Journal of Automated Reasoning: Published by Kluwer. (Journals) http://www-unix.mcs.anl.gov/JAR/ Journal of Logic and Computation Journal of Logic and Computation: Publisher's site. Unrestricted access only for subscribers. (Journals) http://www.oup.co.uk/logcom/ Israel Journal of Mathematics Israel Journal of Mathematics: Publisher's site. (Journals) http://www.ma.huji.ac.il/~ijmath/ IEEE CS MVL-TC Bulletin IEEE CS MVL-TC Bulletin: Informal newsletter of the Multiple-valued Logic Technical Committee of the IEEE Computer Society. (Journals) http://wwwj3.comp.eng.himeji-tech.ac.jp/mvl/bulletin.html Studia Logica Studia Logica: Symbolic logic. (Journals) http://www.kluweronline.com/issn/0039-3215 Journal of Functional and Logic Programming Journal of Functional and Logic Programming: Electronic journal. (Journals) http://danae.uni-muenster.de/lehre/kuchen/JFLP/ The Journal of Logic Programming The Journal of Logic Programming: Elsevier. Now The Journal of Logic and Algebraic Programming. (Journals) http://www.elsevier.nl/inca/publications/store/5/0/5/7/3/1/ Modern Logic Modern Logic: International Journal for the History of Mathematical Logic, Set Theory, and Foundations of Mathematics. (Journals) http://www.ed.ac.uk/~pmilne/ml/home.html