{"id":"https://openalex.org/W4247420955","doi":"https://doi.org/10.1017/s0960129518000312","title":"Syllogistic logic with \u201cMost\u201d","display_name":"Syllogistic logic with \u201cMost\u201d","publication_year":2019,"publication_date":"2019-03-13","ids":{"openalex":"https://openalex.org/W4247420955","doi":"https://doi.org/10.1017/s0960129518000312"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129518000312","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000312","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.scopus.com/inward/record.url?scp=85062909077&partnerID=8YFLogxK","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029479330","display_name":"J\u00f6rg Endrullis","orcid":"https://orcid.org/0000-0002-2554-8270"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Endrullis","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Amsterdam, 1081 HV Amsterdam, The Netherlands","Department of Mathematics, Indiana University, Bloomington, IU 47405, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Department of Mathematics, Indiana University, Bloomington, IU 47405, USA","institution_ids":["https://openalex.org/I4210119109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028261970","display_name":"Lawrence S. Moss","orcid":"https://orcid.org/0000-0002-9908-5774"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lawrence S. Moss","raw_affiliation_strings":["Department of Mathematics, Indiana University, Bloomington, IU 47405, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Indiana University, Bloomington, IU 47405, USA","institution_ids":["https://openalex.org/I4210119109"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028261970"],"corresponding_institution_ids":["https://openalex.org/I4210119109"],"apc_list":null,"apc_paid":null,"fwci":1.2601,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.85773282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"29","issue":"06","first_page":"763","last_page":"782"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9801999926567078,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8792473077774048},{"id":"https://openalex.org/keywords/syllogism","display_name":"Syllogism","score":0.8009530305862427},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7383066415786743},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5586677193641663},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.5264891982078552},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4987297058105469},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4339671730995178},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3755159378051758},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.333426296710968},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.2952307462692261},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2466791570186615},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.17034226655960083},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14015686511993408},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10347506403923035},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.04554176330566406}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8792473077774048},{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.8009530305862427},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7383066415786743},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5586677193641663},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.5264891982078552},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4987297058105469},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4339671730995178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3755159378051758},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.333426296710968},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.2952307462692261},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2466791570186615},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.17034226655960083},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14015686511993408},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10347506403923035},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.04554176330566406},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129518000312","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000312","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:research.vu.nl:publications/4dbc9e38-b64b-4b2a-a1fc-79ebeb2e292c","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85062909077&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Endrullis, J & Moss, L S 2019, 'Syllogistic logic with \"Most\"', Mathematical Structures in Computer Science, vol. 29, no. 6, pp. 763-782. https://doi.org/10.1017/S0960129518000312","raw_type":"article"},{"id":"pmh:vu:oai:research.vu.nl:publications/4dbc9e38-b64b-4b2a-a1fc-79ebeb2e292c","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/4dbc9e38-b64b-4b2a-a1fc-79ebeb2e292c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 29(6), 763 - 782. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:publications/4dbc9e38-b64b-4b2a-a1fc-79ebeb2e292c","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85062909077&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Endrullis, J & Moss, L S 2019, 'Syllogistic logic with \"Most\"', Mathematical Structures in Computer Science, vol. 29, no. 6, pp. 763-782. https://doi.org/10.1017/S0960129518000312","raw_type":"article"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2493857767","https://openalex.org/W3037990228"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W1994524667"],"abstract_inverted_index":{"Abstract":[0],"We":[1,22],"add":[2],"Most":[3],"X":[4,13,18],"are":[5,14,19],"Y":[6,15,20],"to":[7],"the":[8],"syllogistic":[9],"logic":[10,32],"of":[11],"All":[12],"and":[16,26,37],"Some":[17],".":[21],"prove":[23,39],"soundness,":[24],"completeness,":[25],"decidability":[27],"in":[28],"polynomial":[29],"time.":[30],"Our":[31],"has":[33],"infinitely":[34],"many":[35],"rules,":[36],"we":[38],"that":[40],"this":[41],"is":[42],"unavoidable.":[43]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}