{"id":"https://openalex.org/W1556184062","doi":"https://doi.org/10.1023/a:1005086415447","title":"Commodious Axiomatization of Quantifiers in Multiple-Valued Logic","display_name":"Commodious Axiomatization of Quantifiers in Multiple-Valued Logic","publication_year":1998,"publication_date":"1998-07-01","ids":{"openalex":"https://openalex.org/W1556184062","doi":"https://doi.org/10.1023/a:1005086415447","mag":"1556184062"},"language":"en","primary_location":{"id":"doi:10.1023/a:1005086415447","doi":"https://doi.org/10.1023/a:1005086415447","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1005086415447","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-c","erih-plus","jufo-1","norway-1","poland-140","russia-white-list-2","vabb-shw"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"volume":null,"type":"article","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/A5084143460","display_name":"Reiner H\u00e4hnle","orcid":"https://orcid.org/0000-0001-8000-7613","observed_orcids":["https://orcid.org/0000-0001-8000-7613"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Reiner H\u00e4hnle","raw_affiliation_strings":["Institute for Logic, Complexity and Deduction Systems Dept. of Computer Science, University of Karlsruhe, 76128, Karlsruhe, Germany","Institute for Logic, Complexity and Deduction Systems Dept. of Computer Science, University of Karlsruhe, Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Complexity and Deduction Systems Dept. of Computer Science, University of Karlsruhe, 76128, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Institute for Logic, Complexity and Deduction Systems Dept. of Computer Science, University of Karlsruhe, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084143460"],"corresponding_institution_ids":["https://openalex.org/I102335020"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":3.5161,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92040856,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":94},"biblio":{"volume":"61","issue":"1","first_page":"101","last_page":"121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994999766349792,"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.9994999766349792,"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.00039999998989515007,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifiers","display_name":"quantifiers","score":0.6819999814033508},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"many-valued logic","score":0.8619999885559082},{"id":"https://openalex.org/keywords/axiomatization","display_name":"axiomatization","score":0.9350000023841858},{"id":"https://openalex.org/keywords/finite-distributive-lattices","display_name":"finite distributive lattices","score":0.9459999799728394},{"id":"https://openalex.org/keywords/skolemization","display_name":"Skolemization","score":0.6890000104904175}],"concepts":[{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.82267826795578},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.740770161151886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7164552211761475},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5407867431640625},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48261675238609314},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4815678596496582},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.4324004054069519},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4157401919364929},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2220124900341034},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.20951402187347412},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09869083762168884},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1005086415447","doi":"https://doi.org/10.1023/a:1005086415447","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1005086415447","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-c","erih-plus","jufo-1","norway-1","poland-140","russia-white-list-2","vabb-shw"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W61450922","https://openalex.org/W1515335557","https://openalex.org/W1554618854","https://openalex.org/W1761663315","https://openalex.org/W1992818631","https://openalex.org/W2001805670","https://openalex.org/W2076410236","https://openalex.org/W2082736027","https://openalex.org/W2086558934","https://openalex.org/W2093397547","https://openalex.org/W2093713825","https://openalex.org/W2126723972","https://openalex.org/W2126826317","https://openalex.org/W2143810536","https://openalex.org/W2150732096","https://openalex.org/W2170862108","https://openalex.org/W2331855851","https://openalex.org/W2800478439","https://openalex.org/W4233253115","https://openalex.org/W4239833221","https://openalex.org/W4249259371","https://openalex.org/W6675477192","https://openalex.org/W6750961868"],"related_works":["https://openalex.org/W4232534867","https://openalex.org/W2037861231","https://openalex.org/W2307047024","https://openalex.org/W2122961867","https://openalex.org/W1975062576","https://openalex.org/W871156903","https://openalex.org/W1804250731","https://openalex.org/W2349761759","https://openalex.org/W1990550370","https://openalex.org/W1999512029"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}