An analytic tableau system for natural logic

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationLogic, language and meaning
EditorsM. Aloni, H. Bastiaanse, T. de Jager, K. Schulz
Place of PublicationBerlin
PublisherSpringer
Pages104-133
Publication statusPublished - 2010

Publication series

NameLecture Notes in Artificial Intelligence
Number6024

Cite this

Muskens, R. A. (2010). An analytic tableau system for natural logic. In M. Aloni, H. Bastiaanse, T. de Jager, & K. Schulz (Eds.), Logic, language and meaning (pp. 104-133). (Lecture Notes in Artificial Intelligence; No. 6024). Berlin: Springer.
Muskens, R.A. / An analytic tableau system for natural logic. Logic, language and meaning. editor / M. Aloni ; H. Bastiaanse ; T. de Jager ; K. Schulz. Berlin : Springer, 2010. pp. 104-133 (Lecture Notes in Artificial Intelligence; 6024).
@inbook{6668a6fee72a47f6a04bfb7ac846235c,
title = "An analytic tableau system for natural logic",
author = "R.A. Muskens",
note = "Forthcoming 30 june",
year = "2010",
language = "English",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
number = "6024",
pages = "104--133",
editor = "M. Aloni and H. Bastiaanse and {de Jager}, T. and K. Schulz",
booktitle = "Logic, language and meaning",

}

Muskens, RA 2010, An analytic tableau system for natural logic. in M Aloni, H Bastiaanse, T de Jager & K Schulz (eds), Logic, language and meaning. Lecture Notes in Artificial Intelligence, no. 6024, Springer, Berlin, pp. 104-133.

An analytic tableau system for natural logic. / Muskens, R.A.

Logic, language and meaning. ed. / M. Aloni; H. Bastiaanse; T. de Jager; K. Schulz. Berlin : Springer, 2010. p. 104-133 (Lecture Notes in Artificial Intelligence; No. 6024).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

TY - CHAP

T1 - An analytic tableau system for natural logic

AU - Muskens, R.A.

N1 - Forthcoming 30 june

PY - 2010

Y1 - 2010

M3 - Chapter

T3 - Lecture Notes in Artificial Intelligence

SP - 104

EP - 133

BT - Logic, language and meaning

A2 - Aloni, M.

A2 - Bastiaanse, H.

A2 - de Jager, T.

A2 - Schulz, K.

PB - Springer

CY - Berlin

ER -

Muskens RA. An analytic tableau system for natural logic. In Aloni M, Bastiaanse H, de Jager T, Schulz K, editors, Logic, language and meaning. Berlin: Springer. 2010. p. 104-133. (Lecture Notes in Artificial Intelligence; 6024).