{"id":"https://openalex.org/W2981043084","doi":"https://doi.org/10.3390/axioms8040115","title":"Deduction in Non-Fregean Propositional Logic SCI","display_name":"Deduction in Non-Fregean Propositional Logic SCI","publication_year":2019,"publication_date":"2019-10-17","ids":{"openalex":"https://openalex.org/W2981043084","doi":"https://doi.org/10.3390/axioms8040115","mag":"2981043084"},"language":"en","primary_location":{"id":"doi:10.3390/axioms8040115","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms8040115","pdf_url":"https://www.mdpi.com/2075-1680/8/4/115/pdf?version=1571300714","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2075-1680/8/4/115/pdf?version=1571300714","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055824829","display_name":"Joanna Goli\u0144ska\u2010Pilarek","orcid":"https://orcid.org/0000-0001-8546-2615"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Joanna Goli\u0144ska-Pilarek","raw_affiliation_strings":["Institute of Philosophy, University of Warsaw, 00\u2013927 Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Philosophy, University of Warsaw, 00\u2013927 Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077565218","display_name":"Magdalena Welle","orcid":"https://orcid.org/0000-0002-4886-5607"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Magdalena Welle","raw_affiliation_strings":["Institute of Philosophy, University of Warsaw, 00\u2013927 Warsaw, Poland"],"raw_orcid":"https://orcid.org/0000-0002-4886-5607","affiliations":[{"raw_affiliation_string":"Institute of Philosophy, University of Warsaw, 00\u2013927 Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5055824829"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1782},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1782},"fwci":0.5328,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69700209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"8","issue":"4","first_page":"115","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"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.9995999932289124,"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.9990000128746033,"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.9884999990463257,"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/extensionality","display_name":"Extensionality","score":0.761033296585083},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.5856837630271912},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5447453260421753},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5440856218338013},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5301792621612549},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5113782286643982},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4757554233074188},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4751146733760834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4725848436355591},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.45289626717567444},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.44323983788490295},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.42786240577697754},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.4209868311882019},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.36379456520080566},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32153719663619995},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.31389033794403076},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1431344449520111},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.14038389921188354},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.11710339784622192}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.761033296585083},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.5856837630271912},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5447453260421753},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5440856218338013},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5301792621612549},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5113782286643982},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4757554233074188},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4751146733760834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4725848436355591},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.45289626717567444},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.44323983788490295},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.42786240577697754},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.4209868311882019},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.36379456520080566},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32153719663619995},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31389033794403076},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1431344449520111},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.14038389921188354},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.11710339784622192},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"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.3390/axioms8040115","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms8040115","pdf_url":"https://www.mdpi.com/2075-1680/8/4/115/pdf?version=1571300714","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:c8726c91f8cb454ea8c8854a9a281109","is_oa":false,"landing_page_url":"https://doaj.org/article/c8726c91f8cb454ea8c8854a9a281109","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,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms, Vol 8, Iss 4, p 115 (2019)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2075-1680/8/4/115/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/axioms8040115","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms; Volume 8; Issue 4; Pages: 115","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/axioms8040115","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms8040115","pdf_url":"https://www.mdpi.com/2075-1680/8/4/115/pdf?version=1571300714","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4638971999","display_name":null,"funder_award_id":"2017/25/B/HS1/00503","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"},{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2981043084.pdf","grobid_xml":"https://content.openalex.org/works/W2981043084.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W197729581","https://openalex.org/W205246246","https://openalex.org/W1009366402","https://openalex.org/W1973517051","https://openalex.org/W1992108232","https://openalex.org/W2008500673","https://openalex.org/W2030080748","https://openalex.org/W2044819329","https://openalex.org/W2069427909","https://openalex.org/W2069796830","https://openalex.org/W2098403377","https://openalex.org/W2189613175","https://openalex.org/W2324313918","https://openalex.org/W2752703879","https://openalex.org/W2806148198","https://openalex.org/W2915336757","https://openalex.org/W6626297351","https://openalex.org/W6667920067"],"related_works":["https://openalex.org/W4251854500","https://openalex.org/W2081976468","https://openalex.org/W2383380621","https://openalex.org/W1564167468","https://openalex.org/W4391013322","https://openalex.org/W2963419277","https://openalex.org/W2075399510","https://openalex.org/W3137333128","https://openalex.org/W2389445","https://openalex.org/W2981043084"],"abstract_inverted_index":{"We":[0],"study":[1],"deduction":[2],"systems":[3,104,141],"for":[4,105,127],"the":[5,23,37,57,61,64,67,81,109,140,144],"weakest,":[6],"extensional":[7],"and":[8,48,91,99,114,129,133,138],"two-valued":[9],"non-Fregean":[10],"propositional":[11,27,76],"logic":[12,28,77],"SCI":[13,18,70,106,128],".":[14],"The":[15],"language":[16,24],"of":[17,25,39,60,74,103],"is":[19,54,71],"obtained":[20],"by":[21],"expanding":[22],"classical":[26,75],"with":[29,78],"a":[30,50,115,122],"new":[31,51,123],"binary":[32],"connective":[33],"\u2261":[34],"that":[35,42,85],"expresses":[36],"identity":[38,82,86],"two":[40,46,101],"statements;":[41],"is,":[43],"it":[44],"connects":[45],"statements":[47],"forms":[49],"one,":[52],"which":[53],"true":[55],"whenever":[56],"semantic":[58],"correlates":[59],"arguments":[62],"are":[63],"same.":[65],"On":[66],"formal":[68],"side,":[69],"an":[72,89,93],"extension":[73],"axioms":[79],"characterizing":[80],"connective,":[83],"postulating":[84],"must":[87],"be":[88],"equivalence":[90],"obey":[92],"extensionality":[94],"principle.":[95],"First,":[96],"we":[97,120,136],"present":[98,121],"discuss":[100,137],"types":[102],"known":[107],"from":[108],"literature,":[110],"namely":[111],"sequent":[112],"calculus":[113],"dual":[116,124],"tableau-like":[117],"system.":[118],"Then,":[119],"tableau":[125],"system":[126],"prove":[130],"its":[131],"soundness":[132],"completeness.":[134],"Finally,":[135],"compare":[139],"presented":[142],"in":[143],"paper.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}