Syllogistic logic with “most”

Jörg Endrullis, Lawrence S. Moss*

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationLogic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings
PublisherSpringer/Verlag
Pages124-139
Number of pages16
Volume9160
ISBN (Print)9783662477083
DOIs
Publication statusPublished - 2015
Event22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 - Bloomington, United States
Duration: 20 Jul 201523 Jul 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9160
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015
CountryUnited States
CityBloomington
Period20/07/1523/07/15

Fingerprint Dive into the research topics of 'Syllogistic logic with “most”'. Together they form a unique fingerprint.

Cite this