{"id":"https://openalex.org/W2107946356","doi":"https://doi.org/10.2478/auom-2014-0020","title":"Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions","display_name":"Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions","publication_year":2014,"publication_date":"2014-12-10","ids":{"openalex":"https://openalex.org/W2107946356","doi":"https://doi.org/10.2478/auom-2014-0020","mag":"2107946356"},"language":"en","primary_location":{"id":"doi:10.2478/auom-2014-0020","doi":"https://doi.org/10.2478/auom-2014-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/auom-2014-0020","pdf_url":"https://sciendo.com/pdf/10.2478/auom-2014-0020","source":{"id":"https://openalex.org/S1019802765","display_name":"Analele Universit\u0103\u0163ii \"Ovidius\" Constan\u0163a. Seria Matematic\u0103","issn_l":"1224-1784","issn":["1224-1784","1844-0835"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","doaj","dongbi-c","jufo-1","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310314586","host_organization_name":"Ovidius University","host_organization_lineage":["https://openalex.org/P4310314586"],"host_organization_lineage_names":["Ovidius University"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Analele Universitatii \"Ovidius\" Constanta - Seria Matematica","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://sciendo.com/pdf/10.2478/auom-2014-0020","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091535728","display_name":"Andrei Rusu","orcid":"https://orcid.org/0000-0002-0259-3060","observed_orcids":["https://orcid.org/0000-0002-0259-3060"]},"institutions":[{"id":"https://openalex.org/I112090838","display_name":"Academy of Sciences of Moldova","ror":"https://ror.org/01w01n720","country_code":"MD","type":"government","lineage":["https://openalex.org/I112090838"]},{"id":"https://openalex.org/I155936010","display_name":"Ovidius University","ror":"https://ror.org/050ccpd76","country_code":"RO","type":"education","lineage":["https://openalex.org/I155936010"]},{"id":"https://openalex.org/I4401726747","display_name":"Information Society Development Institute","ror":"https://ror.org/00zkxn351","country_code":"MD","type":"facility","lineage":["https://openalex.org/I4401726747"]}],"countries":["MD","RO"],"is_corresponding":true,"raw_author_name":"Andrei Rusu","raw_affiliation_strings":["Department of Mathematics and Computer Science, Ovidius University of Constanta, Bdul Mamaia 124, 900527 Constan\u0163a, Rom\u00e2nia","Information Society Development Institute, Academy of Sciences of Moldova, Str. Academiei 5A, MD2028 Chi\u015fin\u0103u, Republica Moldova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Ovidius University of Constanta, Bdul Mamaia 124, 900527 Constan\u0163a, Rom\u00e2nia","institution_ids":["https://openalex.org/I155936010"]},{"raw_affiliation_string":"Information Society Development Institute, Academy of Sciences of Moldova, Str. Academiei 5A, MD2028 Chi\u015fin\u0103u, Republica Moldova","institution_ids":["https://openalex.org/I112090838","https://openalex.org/I4401726747"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5091535728"],"corresponding_institution_ids":["https://openalex.org/I112090838","https://openalex.org/I155936010","https://openalex.org/I4401726747"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"22","issue":"1","first_page":"247","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.913100004196167,"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.913100004196167,"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.07280000299215317,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.004999999888241291,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/gl","display_name":"GL","score":0.5019999742507935}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7882771492004395},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.6280496716499329},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.49058714509010315},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4346417188644409},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4310763478279114},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3916899561882019},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.35451358556747437},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34881994128227234},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3223130702972412},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1396579146385193},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06421339511871338},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.04835653305053711},{"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":3,"locations":[{"id":"doi:10.2478/auom-2014-0020","doi":"https://doi.org/10.2478/auom-2014-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/auom-2014-0020","pdf_url":"https://sciendo.com/pdf/10.2478/auom-2014-0020","source":{"id":"https://openalex.org/S1019802765","display_name":"Analele Universit\u0103\u0163ii \"Ovidius\" Constan\u0163a. Seria Matematic\u0103","issn_l":"1224-1784","issn":["1224-1784","1844-0835"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","doaj","dongbi-c","jufo-1","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310314586","host_organization_name":"Ovidius University","host_organization_lineage":["https://openalex.org/P4310314586"],"host_organization_lineage_names":["Ovidius University"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Analele Universitatii \"Ovidius\" Constanta - Seria Matematica","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:17d85aff784e496893b92d6713d57d95","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/17d85aff784e496893b92d6713d57d95","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 22, Iss 1, Pp 247-255 (2014)","raw_type":"article"},{"id":"pmh:oai:ibn.idsi.md:198487","doi":null,"is_oa":true,"landing_page_url":"https://ibn.idsi.md/vizualizare_articol/198487","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica 247-255","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.2478/auom-2014-0020","doi":"https://doi.org/10.2478/auom-2014-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/auom-2014-0020","pdf_url":"https://sciendo.com/pdf/10.2478/auom-2014-0020","source":{"id":"https://openalex.org/S1019802765","display_name":"Analele Universit\u0103\u0163ii \"Ovidius\" Constan\u0163a. Seria Matematic\u0103","issn_l":"1224-1784","issn":["1224-1784","1844-0835"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","doaj","dongbi-c","jufo-1","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310314586","host_organization_name":"Ovidius University","host_organization_lineage":["https://openalex.org/P4310314586"],"host_organization_lineage_names":["Ovidius University"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Analele Universitatii \"Ovidius\" Constanta - Seria Matematica","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2107946356.pdf","grobid_xml":"https://content.openalex.org/works/W2107946356.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1589711670","https://openalex.org/W1967448775","https://openalex.org/W1978522567","https://openalex.org/W2015623613","https://openalex.org/W2059933820","https://openalex.org/W2319549361"],"related_works":["https://openalex.org/W7057181906","https://openalex.org/W6991861330","https://openalex.org/W2153694786","https://openalex.org/W2081558918","https://openalex.org/W2184227127","https://openalex.org/W7044229917","https://openalex.org/W2383286503","https://openalex.org/W7098932505","https://openalex.org/W2563995249","https://openalex.org/W7046386590"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"the":[2,12,20,52],"present":[3],"paper":[4],"we":[5],"consider":[6],"a":[7,28],"non-tabular":[8],"extension":[9],"L":[10,56],"of":[11,22,25,49],"well-known":[13],"propositional":[14],"provability":[15],"logic":[16,29,55],"GL":[17],"together":[18],"with":[19,43],"notion":[21],"parametric":[23,46],"expressibility":[24,47],"formulas":[26,50],"in":[27,51],"proposed":[30],"by":[31],"A.":[32],"V.":[33],"Kuznetsov.":[34],"We":[35],"prove":[36],"that":[37],"there":[38],"are":[39],"infinitely":[40],"many":[41],"precomplete":[42],"respect":[44],"to":[45],"classes":[48],"above":[53],"mentioned":[54],".":[57]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2016-06-24T00:00:00"}