Syllogistic logic with “most”

Jörg Endrullis; Lawrence S. Moss

doi:10.1007/978-3-662-47709-0_10

Syllogistic logic with “most”

Jörg Endrullis, Lawrence S. Moss^*

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings
Publisher	Springer/Verlag
Pages	124-139
Number of pages	16
Volume	9160
ISBN (Print)	9783662477083
DOIs	https://doi.org/10.1007/978-3-662-47709-0_10
Publication status	Published - 2015
Event	22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 - Bloomington, United States Duration: 20 Jul 2015 → 23 Jul 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9160
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015
Country/Territory	United States
City	Bloomington
Period	20/07/15 → 23/07/15

Access to Document

10.1007/978-3-662-47709-0_10

Persistent URL (handle)

Copy link address

Cite this

Endrullis, J., & Moss, L. S. (2015). Syllogistic logic with “most”. In Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings (Vol. 9160, pp. 124-139). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9160). Springer/Verlag. https://doi.org/10.1007/978-3-662-47709-0_10

@inproceedings{d9c13a684635413db919ed41c876b62f,

title = "Syllogistic logic with “most”",

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.",

author = "J{\"o}rg Endrullis and Moss, {Lawrence S.}",

year = "2015",

doi = "10.1007/978-3-662-47709-0_10",

language = "English",

isbn = "9783662477083",

volume = "9160",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer/Verlag",

pages = "124--139",

booktitle = "Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings",

note = "22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 ; Conference date: 20-07-2015 Through 23-07-2015",

}

Endrullis, J & Moss, LS 2015, Syllogistic logic with “most”. in Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. vol. 9160, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9160, Springer/Verlag, pp. 124-139, 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015, Bloomington, United States, 20/07/15. https://doi.org/10.1007/978-3-662-47709-0_10

Syllogistic logic with “most”. / Endrullis, Jörg; Moss, Lawrence S.
Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. Vol. 9160 Springer/Verlag, 2015. p. 124-139 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9160).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Syllogistic logic with “most”

AU - Endrullis, Jörg

AU - Moss, Lawrence S.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84947055367&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947055367&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-47709-0_10

DO - 10.1007/978-3-662-47709-0_10

M3 - Conference contribution

AN - SCOPUS:84947055367

SN - 9783662477083

VL - 9160

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 124

EP - 139

BT - Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings

PB - Springer/Verlag

T2 - 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015

Y2 - 20 July 2015 through 23 July 2015

ER -

Endrullis J, Moss LS. Syllogistic logic with “most”. In Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. Vol. 9160. Springer/Verlag. 2015. p. 124-139. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-47709-0_10

Syllogistic logic with “most”

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this