{"id":"https://openalex.org/W2159310931","doi":"https://doi.org/10.1093/logcom/exp078","title":"Admissible Rules of Lukasiewicz Logic","display_name":"Admissible Rules of Lukasiewicz Logic","publication_year":2010,"publication_date":"2010-01-03","ids":{"openalex":"https://openalex.org/W2159310931","doi":"https://doi.org/10.1093/logcom/exp078","mag":"2159310931"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp078","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp078","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/A5091882087","display_name":"Emil Je\u0159\u00e1bek","orcid":"https://orcid.org/0000-0002-9057-3413"},"institutions":[{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"E. Jerabek","raw_affiliation_strings":["Institute of Mathematics of the Academy of Sciences, \u017ditn\u00e1 25, 115 67 Praha 1, Czech Republic","Institute of Mathematics of the Academy of Sciences, \u017ditn\u00e1 25, 115 67 Praha 1, Czech Republic.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics of the Academy of Sciences, \u017ditn\u00e1 25, 115 67 Praha 1, Czech Republic","institution_ids":["https://openalex.org/I4210120266"]},{"raw_affiliation_string":"Institute of Mathematics of the Academy of Sciences, \u017ditn\u00e1 25, 115 67 Praha 1, Czech Republic.E-mail:","institution_ids":["https://openalex.org/I4210120266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091882087"],"corresponding_institution_ids":["https://openalex.org/I4210120266"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":7.9744,"has_fulltext":false,"cited_by_count":50,"citation_normalized_percentile":{"value":0.97985981,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"20","issue":"2","first_page":"425","last_page":"447"},"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.996999979019165,"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.9952999949455261,"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/decidability","display_name":"Decidability","score":0.8384122848510742},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.564320981502533},{"id":"https://openalex.org/keywords/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.5323933362960815},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5264842510223389},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.5205401182174683},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.49093297123908997},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4679478704929352},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4315023124217987},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41831931471824646},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3893775939941406},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38861283659935},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34218889474868774},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24648746848106384},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19507643580436707},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.19282063841819763},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12106221914291382},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.1059798002243042}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8384122848510742},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.564320981502533},{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.5323933362960815},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5264842510223389},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.5205401182174683},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.49093297123908997},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4679478704929352},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4315023124217987},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41831931471824646},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3893775939941406},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38861283659935},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34218889474868774},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24648746848106384},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19507643580436707},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.19282063841819763},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12106221914291382},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.1059798002243042}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exp078","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp078","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/0343478","is_oa":false,"landing_page_url":"http://hdl.handle.net/11104/0185948","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W61355775","https://openalex.org/W218846062","https://openalex.org/W1494361518","https://openalex.org/W1556894108","https://openalex.org/W1573056557","https://openalex.org/W1982890778","https://openalex.org/W1984575571","https://openalex.org/W1989632075","https://openalex.org/W1995502606","https://openalex.org/W1999679315","https://openalex.org/W2000217311","https://openalex.org/W2000519410","https://openalex.org/W2021587896","https://openalex.org/W2023712626","https://openalex.org/W2028452607","https://openalex.org/W2031871805","https://openalex.org/W2035351521","https://openalex.org/W2049516232","https://openalex.org/W2077311448","https://openalex.org/W2077847391","https://openalex.org/W2080891079","https://openalex.org/W2081160992","https://openalex.org/W2087171264","https://openalex.org/W2093974031","https://openalex.org/W2102729667","https://openalex.org/W2108756969","https://openalex.org/W2110182592","https://openalex.org/W2111570288","https://openalex.org/W2126852230","https://openalex.org/W2158627825"],"related_works":["https://openalex.org/W2360474649","https://openalex.org/W1986625420","https://openalex.org/W2362211319","https://openalex.org/W2025952124","https://openalex.org/W2297035263","https://openalex.org/W2140640825","https://openalex.org/W2158361713","https://openalex.org/W2364349173","https://openalex.org/W3037675099","https://openalex.org/W2156897951"],"abstract_inverted_index":{"We":[0,9],"investigate":[1],"admissible":[2],"rules":[3,15],"of":[4,13,23],"\u0141ukasiewicz":[5,17],"multi-valued":[6],"propositional":[7],"logic.":[8],"show":[10],"that":[11],"admissibility":[12],"multiple-conclusion":[14],"in":[16,26],"logic,":[18],"as":[19,21],"well":[20],"validity":[22],"universal":[24],"sentences":[25],"free":[27],"MV-algebras,":[28],"is":[29],"decidable":[30],"(in":[31],"PSPACE).":[32]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":9}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}