Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic

Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic

We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the un...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Ukrainian mathematical journal 2018-11, Vol.70 (6), p.990-1000
Hauptverfasser: Öner, T., Şentürk, İ., Öner, G.
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Analysis
Applications of Mathematics
Geometry
Logic
Mathematics
Mathematics and Statistics
Statistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1000
container_issue 6
container_start_page 990
container_title Ukrainian mathematical journal
container_volume 70
creator Öner, T.
Şentürk, İ.
Öner, G.
description We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.
doi_str_mv 10.1007/s11253-018-1546-4
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2149953900</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2149953900</sourcerecordid><originalsourceid>FETCH-LOGICAL-c268t-3ff32362545beb99d4e2f2dc9ca1013512959647d890b9b2b6b96cd5fed509813</originalsourceid><addsrcrecordid>eNp1kMtKAzEUhoMoWC8P4C7gOpqTy8xkKcVLoVARXYe5nGlT6mSaTBHf3kxHcOUmB8L_fZzzE3ID_A44z-8jgNCScSgYaJUxdUJmoHPJjMyzUzLjXAHTxuhzchHjlvNEFfmM7F-D7zEMDiP1LR02SJd-7epyR-e-i7g_YFcjXaVMOTjf0bJr6GKI9A13x4-4cT39csPmyC66BntMzwgl32j30Y3BZDyar8hZW-4iXv_OS_Lx9Pg-f2HL1fNi_rBktciKgcm2lUJmQitdYWVMo1C0oqlNXQIHqUEYbTKVN4XhlalElVUmqxvdYqO5KUBektvJ2wefroiD3fpDSGtEK0ClJqThPKVgStXBxxiwtX1wn2X4tsDt2KydmrWpWTs2a1VixMTElO3WGP7M_0M_3Wt8YA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2149953900</pqid></control><display><type>article</type><title>Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic</title><source>SpringerLink Journals - AutoHoldings</source><creator>Öner, T. ; Şentürk, İ. ; Öner, G.</creator><creatorcontrib>Öner, T. ; Şentürk, İ. ; Öner, G.</creatorcontrib><description>We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.</description><identifier>ISSN: 0041-5995</identifier><identifier>EISSN: 1573-9376</identifier><identifier>DOI: 10.1007/s11253-018-1546-4</identifier><language>eng</language><publisher>New York: Springer US</publisher><subject>Algebra ; Analysis ; Applications of Mathematics ; Geometry ; Logic ; Mathematics ; Mathematics and Statistics ; Statistics</subject><ispartof>Ukrainian mathematical journal, 2018-11, Vol.70 (6), p.990-1000</ispartof><rights>Springer Science+Business Media, LLC, part of Springer Nature 2018</rights><rights>Copyright Springer Science &amp; Business Media 2018</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c268t-3ff32362545beb99d4e2f2dc9ca1013512959647d890b9b2b6b96cd5fed509813</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s11253-018-1546-4$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s11253-018-1546-4$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,41488,42557,51319</link.rule.ids></links><search><creatorcontrib>Öner, T.</creatorcontrib><creatorcontrib>Şentürk, İ.</creatorcontrib><creatorcontrib>Öner, G.</creatorcontrib><title>Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic</title><title>Ukrainian mathematical journal</title><addtitle>Ukr Math J</addtitle><description>We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.</description><subject>Algebra</subject><subject>Analysis</subject><subject>Applications of Mathematics</subject><subject>Geometry</subject><subject>Logic</subject><subject>Mathematics</subject><subject>Mathematics and Statistics</subject><subject>Statistics</subject><issn>0041-5995</issn><issn>1573-9376</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2018</creationdate><recordtype>article</recordtype><recordid>eNp1kMtKAzEUhoMoWC8P4C7gOpqTy8xkKcVLoVARXYe5nGlT6mSaTBHf3kxHcOUmB8L_fZzzE3ID_A44z-8jgNCScSgYaJUxdUJmoHPJjMyzUzLjXAHTxuhzchHjlvNEFfmM7F-D7zEMDiP1LR02SJd-7epyR-e-i7g_YFcjXaVMOTjf0bJr6GKI9A13x4-4cT39csPmyC66BntMzwgl32j30Y3BZDyar8hZW-4iXv_OS_Lx9Pg-f2HL1fNi_rBktciKgcm2lUJmQitdYWVMo1C0oqlNXQIHqUEYbTKVN4XhlalElVUmqxvdYqO5KUBektvJ2wefroiD3fpDSGtEK0ClJqThPKVgStXBxxiwtX1wn2X4tsDt2KydmrWpWTs2a1VixMTElO3WGP7M_0M_3Wt8YA</recordid><startdate>20181101</startdate><enddate>20181101</enddate><creator>Öner, T.</creator><creator>Şentürk, İ.</creator><creator>Öner, G.</creator><general>Springer US</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20181101</creationdate><title>Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic</title><author>Öner, T. ; Şentürk, İ. ; Öner, G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c268t-3ff32362545beb99d4e2f2dc9ca1013512959647d890b9b2b6b96cd5fed509813</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2018</creationdate><topic>Algebra</topic><topic>Analysis</topic><topic>Applications of Mathematics</topic><topic>Geometry</topic><topic>Logic</topic><topic>Mathematics</topic><topic>Mathematics and Statistics</topic><topic>Statistics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Öner, T.</creatorcontrib><creatorcontrib>Şentürk, İ.</creatorcontrib><creatorcontrib>Öner, G.</creatorcontrib><collection>CrossRef</collection><jtitle>Ukrainian mathematical journal</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Öner, T.</au><au>Şentürk, İ.</au><au>Öner, G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic</atitle><jtitle>Ukrainian mathematical journal</jtitle><stitle>Ukr Math J</stitle><date>2018-11-01</date><risdate>2018</risdate><volume>70</volume><issue>6</issue><spage>990</spage><epage>1000</epage><pages>990-1000</pages><issn>0041-5995</issn><eissn>1573-9376</eissn><abstract>We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.</abstract><cop>New York</cop><pub>Springer US</pub><doi>10.1007/s11253-018-1546-4</doi><tpages>11</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0041-5995
ispartof Ukrainian mathematical journal, 2018-11, Vol.70 (6), p.990-1000
issn 0041-5995
1573-9376
language eng
recordid cdi_proquest_journals_2149953900
source SpringerLink Journals - AutoHoldings
subjects Algebra
Analysis
Applications of Mathematics
Geometry
Logic
Mathematics
Mathematics and Statistics
Statistics
title Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T06%3A13%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Properties%20of%20the%20Logical%20Consequence%20Operation%20and%20Its%20Relationship%20with%20the%20Independence%20of%20Propositional%20Logic&rft.jtitle=Ukrainian%20mathematical%20journal&rft.au=%C3%96ner,%20T.&rft.date=2018-11-01&rft.volume=70&rft.issue=6&rft.spage=990&rft.epage=1000&rft.pages=990-1000&rft.issn=0041-5995&rft.eissn=1573-9376&rft_id=info:doi/10.1007/s11253-018-1546-4&rft_dat=%3Cproquest_cross%3E2149953900%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2149953900&rft_id=info:pmid/&rfr_iscdi=true