{"id":"https://openalex.org/W16267316","doi":"https://doi.org/10.1007/s00153-002-0152-0","title":"Advances in the \u0141\u03a0 and logics","display_name":"Advances in the \u0141\u03a0 and logics","publication_year":2003,"publication_date":"2003-07-01","ids":{"openalex":"https://openalex.org/W16267316","doi":"https://doi.org/10.1007/s00153-002-0152-0","mag":"16267316"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-002-0152-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-002-0152-0","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","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/A5071216071","display_name":"Petr Cintula","orcid":"https://orcid.org/0000-0002-3617-1392"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"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":"Petr Cintula","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic and Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University Prague, Czech Republic, , , , , , CZ","Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic and Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University Prague, Czech Republic, CZ"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic and Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University Prague, Czech Republic, , , , , , CZ","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic and Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University Prague, Czech Republic, CZ","institution_ids":["https://openalex.org/I44504214","https://openalex.org/I202391551"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071216071"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I44504214"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":3.6656,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.92884077,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"42","issue":"5","first_page":"449","last_page":"468"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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.9997000098228455,"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.9940999746322632,"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.9921000003814697,"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/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.9459551572799683},{"id":"https://openalex.org/keywords/monoidal-t-norm-logic","display_name":"Monoidal t-norm logic","score":0.8837524652481079},{"id":"https://openalex.org/keywords/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.8067965507507324},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6674900054931641},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.6237149238586426},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.5921837091445923},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.5470874309539795},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.46956729888916016},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4318796992301941},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42908546328544617},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.4259319007396698},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.42200350761413574},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.42024290561676025},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.377841055393219},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3743733763694763},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.25471892952919006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23898941278457642},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23288977146148682},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23120999336242676},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.20031467080116272},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1834380030632019},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.12694400548934937},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.11998534202575684}],"concepts":[{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.9459551572799683},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.8837524652481079},{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.8067965507507324},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6674900054931641},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.6237149238586426},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.5921837091445923},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.5470874309539795},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.46956729888916016},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4318796992301941},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42908546328544617},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.4259319007396698},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.42200350761413574},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.42024290561676025},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.377841055393219},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3743733763694763},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.25471892952919006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23898941278457642},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23288977146148682},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23120999336242676},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.20031467080116272},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1834380030632019},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.12694400548934937},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.11998534202575684},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00153-002-0152-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-002-0152-0","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"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":"Archive for Mathematical Logic","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":3,"referenced_works":["https://openalex.org/W1526495294","https://openalex.org/W1991949483","https://openalex.org/W2110182592"],"related_works":["https://openalex.org/W637989598","https://openalex.org/W16267316","https://openalex.org/W4294175725","https://openalex.org/W2310799747","https://openalex.org/W2065267682","https://openalex.org/W3010532782","https://openalex.org/W2153288022","https://openalex.org/W193449051","https://openalex.org/W1968826078","https://openalex.org/W4313595787"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}