{"id":"https://openalex.org/W4232450670","doi":"https://doi.org/10.1002/malq.19950410108","title":"Tarskian Structured Consequence Relations and Functional Completeness","display_name":"Tarskian Structured Consequence Relations and Functional Completeness","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W4232450670","doi":"https://doi.org/10.1002/malq.19950410108"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19950410108","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410108","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"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/A5034896431","display_name":"Heinrich Wansing","orcid":"https://orcid.org/0000-0002-0749-8847"},"institutions":[{"id":"https://openalex.org/I178535277","display_name":"University of the West of England","ror":"https://ror.org/02nwg5t34","country_code":"GB","type":"education","lineage":["https://openalex.org/I178535277"]},{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE","GB"],"is_corresponding":true,"raw_author_name":"Heinrich Wansing","raw_affiliation_strings":["A first version of this paper was written in 1992, when the author was affiliated to the Institute for Logic, Language and Computation of the University of Amsterdam","Institute of Logic and Philosophy of Science, University of Leipzig, Augustusplatz 9, D-04109 Leipzig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A first version of this paper was written in 1992, when the author was affiliated to the Institute for Logic, Language and Computation of the University of Amsterdam","institution_ids":["https://openalex.org/I178535277"]},{"raw_affiliation_string":"Institute of Logic and Philosophy of Science, University of Leipzig, Augustusplatz 9, D-04109 Leipzig, Germany","institution_ids":["https://openalex.org/I926574661"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034896431"],"corresponding_institution_ids":["https://openalex.org/I178535277","https://openalex.org/I926574661"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.5824,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79573361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"1","first_page":"73","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.8369828462600708},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7618249654769897},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.43961015343666077},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3570863604545593},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0749327540397644},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07024514675140381}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8369828462600708},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7618249654769897},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.43961015343666077},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3570863604545593},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0749327540397644},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07024514675140381},{"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.1002/malq.19950410108","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410108","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1595523092","https://openalex.org/W2029272128","https://openalex.org/W2047063760","https://openalex.org/W2055917250","https://openalex.org/W2074656184","https://openalex.org/W2082253949","https://openalex.org/W2093349036","https://openalex.org/W2124256316","https://openalex.org/W2150425213","https://openalex.org/W4242125186","https://openalex.org/W4245674526"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper":[3],"functional":[4],"completeness":[5],"results":[6],"are":[7],"obtained":[8],"for":[9],"certain":[10],"positive":[11],"and":[12],"constructive":[13],"propositional":[14],"logics":[15],"associated":[16],"with":[17],"a":[18],"Tarski\u2010type":[19],"structured":[20],"consequence":[21],"relation":[22],"as":[23],"defined":[24],"by":[25],"Gabbay.":[26]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}