{"id":"https://openalex.org/W2009288506","doi":"https://doi.org/10.1007/s11225-010-9258-2","title":"A Completeness Proof of Kiczuk\u2019s Logic of Physical Change","display_name":"A Completeness Proof of Kiczuk\u2019s Logic of Physical Change","publication_year":2010,"publication_date":"2010-05-15","ids":{"openalex":"https://openalex.org/W2009288506","doi":"https://doi.org/10.1007/s11225-010-9258-2","mag":"2009288506"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-010-9258-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-010-9258-2","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","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/A5063082843","display_name":"Robert Trypuz","orcid":"https://orcid.org/0000-0003-4042-9947"},"institutions":[{"id":"https://openalex.org/I111702420","display_name":"John Paul II Catholic University of Lublin","ror":"https://ror.org/04qyefj88","country_code":"PL","type":"education","lineage":["https://openalex.org/I111702420"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Robert Trypuz","raw_affiliation_strings":["Faculty of Philosophy, Department of Logic, The John Paul II Catholic University of Lublin, Al. Raclawickie 14, 20\u2013950, Lublin, Poland","Faculty of Philosophy, Department of Logic, The John Paul II Catholic University of Lublin, Lublin, Poland 20---950#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Philosophy, Department of Logic, The John Paul II Catholic University of Lublin, Al. Raclawickie 14, 20\u2013950, Lublin, Poland","institution_ids":["https://openalex.org/I111702420"]},{"raw_affiliation_string":"Faculty of Philosophy, Department of Logic, The John Paul II Catholic University of Lublin, Lublin, Poland 20---950#TAB#","institution_ids":["https://openalex.org/I111702420"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063082843"],"corresponding_institution_ids":["https://openalex.org/I111702420"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.127313,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"95","issue":"1-2","first_page":"139","last_page":"159"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9513999819755554,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9513999819755554,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6866530179977417},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6193932890892029},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5776147246360779},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.5663518309593201},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5175678133964539},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4933706820011139},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.47190219163894653},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44802483916282654},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.44763997197151184},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4195699095726013},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.41766157746315},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.4101424515247345},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30926385521888733},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.17572543025016785},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1601870059967041},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15345773100852966},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.07097333669662476},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06226733326911926}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6866530179977417},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6193932890892029},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5776147246360779},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.5663518309593201},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5175678133964539},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4933706820011139},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.47190219163894653},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44802483916282654},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.44763997197151184},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4195699095726013},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.41766157746315},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.4101424515247345},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30926385521888733},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.17572543025016785},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1601870059967041},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15345773100852966},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.07097333669662476},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06226733326911926},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"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},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11225-010-9258-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-010-9258-2","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1596067335","https://openalex.org/W1608331338","https://openalex.org/W2145003065","https://openalex.org/W4239399053","https://openalex.org/W4285719527","https://openalex.org/W6644822013","https://openalex.org/W6757506163"],"related_works":["https://openalex.org/W2015208619","https://openalex.org/W2165019859","https://openalex.org/W4251854500","https://openalex.org/W2389277141","https://openalex.org/W100309281","https://openalex.org/W2472593905","https://openalex.org/W290319452","https://openalex.org/W2952337775","https://openalex.org/W2402893585","https://openalex.org/W189246291"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}