CSLI title

Home  |   Articles  |   Search  |  About  |  Other Works   |

Photos | Videos | What's New


Language and Logic

2000 —Quantifier-free axioms for constructive affine plane geometry
2000 —Variable-free semantics for stochastic processes: a preliminary report

2001 —Semantic computation by humans, computers and robots
2001 —Finitism in geometry

2004 —Semantic computations of truth, based on associations already learned

2005 —The syntax and semantics of English prepositional phrases

2006 —All you ever wanted to know about meaningfulness: Review of L. E. Narens' Theories of Meaningfulness
2006 —Hintikka's generalizations of logic and their relation to science

2009 —Rhythm and Meaning in Poetry
2009 —Reflections on Vailati's Pragmatism


© CSLI 2002-2006