{"id":"https://openalex.org/W4386014897","doi":"https://doi.org/10.1007/978-3-031-39965-7_30","title":"Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson\u2019s Rules","display_name":"Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson\u2019s Rules","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386014897","doi":"https://doi.org/10.1007/978-3-031-39965-7_30"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-39965-7_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-39965-7_30","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045238220","display_name":"Petra Murinov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Petra Murinov\u00e1","raw_affiliation_strings":["Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, 30. dubna 22, 701 03, Ostrava 1, Czech Republic","Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, Ostrava 1, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, 30. dubna 22, 701 03, Ostrava 1, Czech Republic","institution_ids":["https://openalex.org/I187293425"]},{"raw_affiliation_string":"Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, Ostrava 1, Czech Republic","institution_ids":["https://openalex.org/I187293425"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039200228","display_name":"Vil\u00e9m Nov\u00e1k","orcid":"https://orcid.org/0000-0002-9698-1629"},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vil\u00e9m Nov\u00e1k","raw_affiliation_strings":["Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, 30. dubna 22, 701 03, Ostrava 1, Czech Republic","Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, Ostrava 1, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, 30. dubna 22, 701 03, Ostrava 1, Czech Republic","institution_ids":["https://openalex.org/I187293425"]},{"raw_affiliation_string":"Institute for Research and Applications of Fuzzy Modeling, NSC IT4Innovations, University of Ostrava, Ostrava 1, Czech Republic","institution_ids":["https://openalex.org/I187293425"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045238220"],"corresponding_institution_ids":["https://openalex.org/I187293425"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.9459,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.77378749,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"357","last_page":"368"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9947999715805054,"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/syllogism","display_name":"Syllogism","score":0.9690917730331421},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6387122869491577},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5697296857833862},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3456231951713562},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3350779712200165},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26616349816322327},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15999248623847961},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14545392990112305}],"concepts":[{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.9690917730331421},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6387122869491577},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5697296857833862},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3456231951713562},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3350779712200165},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26616349816322327},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15999248623847961},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14545392990112305},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-39965-7_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-39965-7_30","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1566552629","https://openalex.org/W1968979657","https://openalex.org/W1997196510","https://openalex.org/W2025239230","https://openalex.org/W2110182592","https://openalex.org/W2124743604","https://openalex.org/W2125083338","https://openalex.org/W2153859544","https://openalex.org/W2505397670","https://openalex.org/W2954301182","https://openalex.org/W2996885516","https://openalex.org/W3096132757","https://openalex.org/W4290805442"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2072536799","https://openalex.org/W4232919785","https://openalex.org/W2501181576","https://openalex.org/W2963945504","https://openalex.org/W4235559133","https://openalex.org/W2027234294","https://openalex.org/W2104762798","https://openalex.org/W4377021743","https://openalex.org/W2099760197"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}