zbMATH — the first resource for mathematics

Syllogistic logic with “most”. (English) Zbl 06484973
Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 124-139 (2015).
Summary: This paper presents a sound and complete proof system for the logical system whose sentences are of the form All X are Y, Some X are Y and Most X are Y, where we interpret these sentences on finite models, with the meaning of “most” being “strictly more than half”. Our proof system is syllogistic; there are no individual variables.
For the entire collection see [Zbl 1319.03010].

03B70 Logic in computer science
Full Text: DOI