Lambda Calculus and Formal Grammar

About a month ago, Marco Kuhlmann asked on twitter whether the universal recognition problem for non-permuting LCFRSs is PSPACE-complete....

(January 1, 2014: The statement of "Harrison's theorem" in the original post was in error. The error is now corrected. See h...

Many textbooks, including the one I'm using , present an "easy" proof of Gödel's First Incompleteness Theorem via Tarski...

I always thought that the Chomsky-Schützenberger Theorem is an easy consequence of the fact that for every CFG G , the strings generated by...

I'll be teaching logic to graduate students in philosophy this coming semester. The textbook I'll use is H. Jerome Keisler et al....

Kit Fine gave an invited talk at the Third Interdisciplinary Ontology Conference on Sunday, titled "A State-Based Approach to the Fram...