{"id":"https://openalex.org/W2013999314","doi":"https://doi.org/10.1007/s00500-006-0058-6","title":"Alternative Proof of Standard Completeness Theorem for MTL","display_name":"Alternative Proof of Standard Completeness Theorem for MTL","publication_year":2006,"publication_date":"2006-03-02","ids":{"openalex":"https://openalex.org/W2013999314","doi":"https://doi.org/10.1007/s00500-006-0058-6","mag":"2013999314"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-006-0058-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-006-0058-6","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","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/A5073348949","display_name":"Rostislav Hor\u010d\u0131\u0301k","orcid":"https://orcid.org/0000-0001-7967-7126"},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Rostislav Hor\u010d\u00edk","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07, Prague, Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic 182 07"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07, Prague, Czech Republic","institution_ids":["https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic 182 07","institution_ids":["https://openalex.org/I202391551"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073348949"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.0141,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75919717,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"2","first_page":"123","last_page":"129"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.9962000250816345,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9939000010490417,"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/mathematics","display_name":"Mathematics","score":0.7306212782859802},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5655588507652283},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.4925869107246399},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4674934446811676},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.4520551562309265},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3503454327583313},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34349656105041504}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7306212782859802},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5655588507652283},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.4925869107246399},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4674934446811676},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.4520551562309265},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3503454327583313},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34349656105041504},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-006-0058-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-006-0058-6","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1511669762","https://openalex.org/W1573036064","https://openalex.org/W1602192439","https://openalex.org/W1659717085","https://openalex.org/W1983382657","https://openalex.org/W2003364215","https://openalex.org/W2047865342","https://openalex.org/W2100783870","https://openalex.org/W4234672050"],"related_works":["https://openalex.org/W2169551167","https://openalex.org/W2369292347","https://openalex.org/W3111972484","https://openalex.org/W1994701759","https://openalex.org/W1588277780","https://openalex.org/W958050847","https://openalex.org/W4252539554","https://openalex.org/W2144352681","https://openalex.org/W2019382695","https://openalex.org/W1993979893"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}