That Logic Blog

March 03, 2005

Sign me up

For those who are interested in logic, but are not affiliated with a university, it can be quite expensive to keep up with things. After all, journal subscription prices are often out of the reach of individuals. The purpose of this post is to point out some options for individuals. Many are free, but you'll go a lot further by spending a little bit.

Of course, on the sidebar of this blog, are links to electronic resources which make their papers /articles available for free. This is a good thing. It promotes wider and faster dissemination of results. I'll briefly describe each of these below.

Australasian Journal of Logic: This is managed by the philosophy department at The University of Melbourne and is edited by Greg Restall. It is fully refereed and freely available and seeks to cover the breadth of modern pure and applied logic. Currently, the majority of the articles deal with philosophical logic.

ACM Transactions on Computational Logic: This is obviously put out by the Association for Computing Machinery. As such, its focus is predominantly computational. However, given the nature of the subject, many articles should be of interest to philosophical logicians as well. For instance, both proof theory and modal logic have philosophical and computational branches. While the concerns of each area are often quite distinct, one gets a fuller picture of the area by "seeing how the other half lives". The articles here are usually of a rather technical nature.

Bulletin of Symbolic Logic: This is put out quarterly by the Association for Symbolic Logic. It contains many helpful book and article reviews as well as many good expository papers. It is well worth browsing through the archives. While you are at it, why not join the association? As well as your very own print version of the bulletin, you recieve the Journal of Symbolic Logic and significantly reduced subscription rates for the Journal of Philosophical Logic. If you are a student, they also provide some funding support for attending ASL affiliated conferences. This is a major preprint server. By sending an email to with the body 'add LO' (without the quotes), you can receive updates on mathematical logic related preprints daily to your email address. By sending a message with the same body to, you can sign up for computational logic as well.

The European Association for Theoretical Computer Science publishes a quarterly bulletin. It contains many interesting columns. For computational logicians, the logic in computer science, formal specification, computational complexity and formal language theory columns often contain interesting nuggets. You do need to pay an annual membership fee, but the bulletin is more than worth it (often running to a few hundred pages!). The sister publication, published by the ACM, is the Special Interest Group on Algorithms and Computation Theory News. It has recently rekindled its logic in computer science column. The two organisations currently have a reciprocal arrangement, whereby you receive a discount if you join both. Oh and if, like me, you live outside of Europe and/or the US, it is well worth spending the little bit extra for airmail.

An interesting quirk with the above publications is something that Richard Zach has mentioned in his blog. That is, Europeans seem to be a lot keener on logic than Americans. That is, American theoretical computer science tends to be very combinatorial, whereas its European counterpart is often a lot more logical. One certainly gets this impression when reading both publications.

Finally, there is a very good free online magazine devoted to philosophical logic and its applications: PhiNews.


Blogger Livenwealthy said...

Join the only TV advertised affilated program and cash in on the masses that will be joining TVCOOP.netgetpaid

8:21 AM  
Anonymous Anonymous said...

Hi i am totally blown away with the blogs people have created its so much fun to read alot of good info and you have also one of the best blogs !! Have some time check our link of hp computer.

7:38 PM  
Anonymous Anonymous said...

Phoenix Studio TheWorld Browser End User License Agreement
Copyright 2004 Phoenix Studio, All Rights Reserved.

TheWorld is free for personal, home use.

You may use this software only as described in this license.

If you do not agree to the terms of this license, do not install or use the software.

1. SOFTWARE. The vinyl cutter capitalized term "Software" used below refers to TheWorld Browser, any laser engraverupdates to the software, any supplemental laser engraving machine code provided to you by Phoenix Studio, the laser engraver user manual, any associated software components, any related media and printed materials, and any "online" or electronic documentation.

2. RESTRICTIONS. You may not reduce the laser cutting machine Software to human readable form, reverse engineer, de-compile, or disassemble the
cutting plotter Software, except and only to the extent that such activity is expressly permitted by applicable law notwithstanding this limitation. You may not rent, lease, or lend the Software. You may not use the vinyl cutter Software to perform any unauthorized transfer of information, such as copying or transferring a file in violation of a copyright, or for any illegal purpose. You may not remove any copyright, trademark, reservation of rights, or any other proprietary language displayed on, in, or with the vinyl cutter Software.

3. SUPPORT SERVICES. Phoenix Studio may provide you with laser engraver support services related to the Software. Use of support services is governed by the laser cutting machine user manual, online documentation, and other Phoenix Studio materials, as they may be modified from time to time. Phoenix Studio may use any information you provide as part of obtaining laser engraving machine support services for its business purposes, including product support and development.

4. TERMINATION. This license terminates if you fail to comply with its terms and conditions. If your license terminates, you must destroy all copies of the cutting plotter Software. The termination of this license does not limit Phoenix Studio's other rights it may have by law.

5. COPYRIGHT. You acknowledge that you have only the limited, non-exclusive right to use and copy the vinyl cutter Software as expressly stated in this license and that Phoenix Studio retains title and all other rights. The low cost laser engraverSoftware is protected by copyright law and international treaty provisions as well as other applicable laws.

6. NO WARRANTIES. To the maximum extent permitted by applicable law, the
laser engraver Software is provided "as is" without warranty of any kind, either express or implied, including, without limitation, the implied warranties or merchantability, fitness for a particular

The End

7:35 PM  

Post a Comment

<< Home