Logic Papers

On the Unusual Effectiveness of Logic in Computer Science

• authors: Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
• date: 2001
• online @ www.cs.rice.edu

.

The Galois Connection between Syntax and Semantics

• authors: Peter Smith
• date: June 2010
• publication: Logic Matters
• online @ www.logicmatters.net
• topics: Logic, Formal Language

.

Syntax versus Semantics

• authors: Reinhard Kahle, Wilfried Keller
• date: July 2015
• publication: arXiv.org
• online @ arxiv.org

Distinguishing symbols pertaining to the syntax, from symbols pertaining to the semantics, by colouring them differently.

Towards Applied Theories based on Computability Logic

• authors: Giorgi Japaridze
• date: 2009
• online @ arxiv.org

.