The logic of categorial grammars A deductive account of natural language syntax and semantics /

The logic of categorial grammars A deductive account of natural language syntax and semantics /

<p>This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, com...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Moot, Richard (Author)
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Retoré, Christian
Format:	eBog
Sprog:	English
Udgivet:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Serier:	Lecture Notes in Computer Science, 6850
Fag:	Computer science. Computer software. Logic design. Artificial intelligence. Logic, Symbolic and mathematical.
Online adgang:	Click here to view the full text content
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Natural deduction, hybrid systems and modal logics
af: Indrzejczak, Andrzej
Udgivet: (2010)

Logic-based artificial intelligence /
Udgivet: (2000)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Udgivet: (2007)

Logical tools for handling change in agent-based systems /
af: Gabbay, Dov M., 1945-
Udgivet: (2010)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Epistemic logic for AI and computer science /
af: Meyer, John-Jules Ch
Udgivet: (1995)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Udgivet: (2012)

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Mathematical problems from applied logic I logics for the XXIst century /
Udgivet: (2006)

Sets, logic and categories
af: Cameron, Peter J.
Udgivet: (1998)

Sets, logic and categories
af: Cameron, Peter J.
Udgivet: (1998)

Logic design theory /
af: Biswas, Nripendra Nath
Udgivet: (1993)

Logic design theory /
af: Biswas, Nripendra N.
Udgivet: (2006)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
af: Artemov, Sergei N.
Udgivet: (2007)

Elementary logics : a procedural perspective /
af: Gabbay, Dov M.
Udgivet: (1998)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Udgivet: (2013)

Mathematical logic foundations for information science /
af: Li, Wei
Udgivet: (2010)

Mathematical logic : foundations for information science /
af: Li, Wei
Udgivet: (2014)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Udgivet: (2000)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Udgivet: (2006)

Logical foundations of mathematics and computational complexity : a gentle introduction /
af: Pudlak, Pavel
Udgivet: (2013)

A concise introduction to mathematical logic
af: Rautenberg, Wolfgang
Udgivet: (2006)

A Course in mathematical Logic for mathematicians
af: Manin, Yu. I.
Udgivet: (2010)

Mathematical logic for computer science /
af: Ben-Ari, Mordechai
Udgivet: (2012)

Mathematical logic /
af: Shoenfield, Joseph R.
Udgivet: (1967)

Mathematical logic /
Udgivet: (2001)

Mathematical logic /
af: Chiswell, Ian, 1948-
Udgivet: (2007)

Handbook of spatial logics /
Udgivet: (2007)

Logic for computer scientists /
af: Schoning, Uwe
Udgivet: (2008)

A Course on Mathematical Logic
af: Srivastava, S. M.
Udgivet: (2008)

A mathematical introduction to logic /
af: Enderton, Herbert B.
Udgivet: (2001)

Introduction to mathematical logic /
af: Walicki, Michał
Udgivet: (2012)

Introduction to mathematical logic /
af: Mendelson, Elliott
Udgivet: (2010)

Logic, sets and recursions /
af: Causey, Robert L.
Udgivet: (2006)

Introduction to mathematical logic /
af: Mendelson, Elliott
Udgivet: (1997)

Understanding symbolic logic /
af: Klenk, Virginia
Udgivet: (2008)

A concise introduction to mathematical logic
af: Rautenberg, Wolfgang
Udgivet: (2010)

A concise introduction to mathematical logic /
af: Rautenberg, Wolfgang
Udgivet: (2006)

Logic for mathematics and computer science /
af: Burris, Stanley N.
Udgivet: (1998)

Computation as logic /
af: Lalement, Rene
Udgivet: (1993)