{"id":"https://openalex.org/W1981335251","doi":"https://doi.org/10.1093/logcom/exp050","title":"On White's Expansion of Lukasiewicz Logic","display_name":"On White's Expansion of Lukasiewicz Logic","publication_year":2009,"publication_date":"2009-09-11","ids":{"openalex":"https://openalex.org/W1981335251","doi":"https://doi.org/10.1093/logcom/exp050","mag":"1981335251"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp050","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp050","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5036484429","display_name":"Petr H\u00e1jek","orcid":"https://orcid.org/0000-0001-5579-1215"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I4210119419","display_name":"Czech Academy of Sciences, Institute of Information Theory and Automation","ror":"https://ror.org/03h1hsz49","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210119419"]},{"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"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"P. Hajek","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague, 182 07 Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague, 182 07 Czech Republic.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague, 182 07 Czech Republic","institution_ids":["https://openalex.org/I4210119419","https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017e\u00ed 2, Prague, 182 07 Czech Republic.E-mail:","institution_ids":["https://openalex.org/I202391551"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5036484429"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210119419","https://openalex.org/I4210155092"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07858691,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"2","first_page":"389","last_page":"397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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.9966999888420105,"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.9925000071525574,"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/predicate-logic","display_name":"Predicate logic","score":0.647513747215271},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5832728743553162},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5641477108001709},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.5484850406646729},{"id":"https://openalex.org/keywords/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.512206494808197},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38911867141723633},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3680933117866516},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3680611848831177},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3324339985847473},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3062678575515747},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24146056175231934},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.17884060740470886},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.06641486287117004}],"concepts":[{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.647513747215271},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5832728743553162},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5641477108001709},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.5484850406646729},{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.512206494808197},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38911867141723633},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3680933117866516},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3680611848831177},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3324339985847473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3062678575515747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24146056175231934},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.17884060740470886},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.06641486287117004},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exp050","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp050","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0345010","is_oa":false,"landing_page_url":"http://hdl.handle.net/11104/0186391","pdf_url":null,"source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1776780778","https://openalex.org/W1978704708","https://openalex.org/W1992629414","https://openalex.org/W2011526622","https://openalex.org/W2025952124","https://openalex.org/W2072851234","https://openalex.org/W2091957209","https://openalex.org/W2092160200"],"related_works":["https://openalex.org/W4294175725","https://openalex.org/W1980132852","https://openalex.org/W637989598","https://openalex.org/W2310799747","https://openalex.org/W2036407372","https://openalex.org/W2158361713","https://openalex.org/W2060401660","https://openalex.org/W2059759229","https://openalex.org/W2040000209","https://openalex.org/W2033088754"],"abstract_inverted_index":{"Avariant":[0],"of":[1,15,18,25,41],"\u0141ukasiewicz":[2,26,42],"logic":[3,24,34,43,81],"defined":[4],"in":[5,8,20,35,57],"a":[6,73],"remark":[7],"White's":[9],"1979":[10],"paper":[11],"on":[12],"the":[13,16,21,33,66],"consistency":[14],"axiom":[17],"comprehension":[19,78],"infinite-valued":[22],"predicate":[23],"is":[27,30,37,63,70,86],"studied;":[28],"it":[29,58,69],"shown":[31,71],"that":[32,72],"question":[36],"an":[38],"interesting":[39],"expansion":[40],"which":[44],"deserves":[45],"further":[46,51],"investigation":[47],"together":[48],"with":[49,76],"its":[50],"expansions.":[52],"Several":[53],"formulas":[54],"are":[55],"proved":[56],"and":[59],"some":[60],"model":[61],"theory":[62,75],"offered.":[64],"In":[65],"Appendix":[67],"A,":[68],"set":[74],"full":[77],"over":[79],"this":[80],"(claimed":[82],"consistent":[83],"by":[84],"White)":[85],"contradictory.":[87]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}