The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logic journal of the IGPL 2014-08, Vol.22 (4), p.585-596
Hauptverfasser:	Ghilardi, S., Mints, G.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	596
container_issue	4
container_start_page	585
container_title	Logic journal of the IGPL
container_volume	22
creator	Ghilardi, S. Mints, G.
description
doi_str_mv	10.1093/jigpal/jzt052
format	Article
fullrecord	<record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1093_jigpal_jzt052</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1093_jigpal_jzt052</sourcerecordid><originalsourceid>FETCH-LOGICAL-c237t-32280decb51bb1bf73993bb38bb4075bf68857da3a6c4ff885d8dcb6053d9c553</originalsourceid><addsrcrecordid>eNotkE1LAzEYhIMoWKtH7_kDsclms5t4k6JWKHipV5d81izZzZKkQv31rq2neWcYXoYHgHuCHwgWdNX7_STDqv8pmFUXYEFow5Hgor483S3CLSPX4CbnHmNc84otwOfuy8IQ917D6GBJcsy--G8L5WigsWO20CU52Pw4axxgmeu52Amd0rklwzH7DEuE7hAC1IeCbPCDH2XxcbwFV06GbO_-dQk-Xp536w3avr--rZ-2SFe0LYhWFcfGasWIUkS5lgpBlaJcqXoerVzDOWuNpLLRtXOzMdxo1WBGjdCM0SVA5786xZyTdd2U_CDTsSO4-4PTneF0Zzj0F8pBW_U</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination</title><source>Business Source Complete</source><source>Oxford University Press Journals All Titles (1996-Current)</source><creator>Ghilardi, S. ; Mints, G.</creator><creatorcontrib>Ghilardi, S. ; Mints, G.</creatorcontrib><identifier>ISSN: 1367-0751</identifier><identifier>EISSN: 1368-9894</identifier><identifier>DOI: 10.1093/jigpal/jzt052</identifier><language>eng</language><ispartof>Logic journal of the IGPL, 2014-08, Vol.22 (4), p.585-596</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c237t-32280decb51bb1bf73993bb38bb4075bf68857da3a6c4ff885d8dcb6053d9c553</citedby><cites>FETCH-LOGICAL-c237t-32280decb51bb1bf73993bb38bb4075bf68857da3a6c4ff885d8dcb6053d9c553</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><creatorcontrib>Ghilardi, S.</creatorcontrib><creatorcontrib>Mints, G.</creatorcontrib><title>The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination</title><title>Logic journal of the IGPL</title><issn>1367-0751</issn><issn>1368-9894</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><recordid>eNotkE1LAzEYhIMoWKtH7_kDsclms5t4k6JWKHipV5d81izZzZKkQv31rq2neWcYXoYHgHuCHwgWdNX7_STDqv8pmFUXYEFow5Hgor483S3CLSPX4CbnHmNc84otwOfuy8IQ917D6GBJcsy--G8L5WigsWO20CU52Pw4axxgmeu52Amd0rklwzH7DEuE7hAC1IeCbPCDH2XxcbwFV06GbO_-dQk-Xp536w3avr--rZ-2SFe0LYhWFcfGasWIUkS5lgpBlaJcqXoerVzDOWuNpLLRtXOzMdxo1WBGjdCM0SVA5786xZyTdd2U_CDTsSO4-4PTneF0Zzj0F8pBW_U</recordid><startdate>20140801</startdate><enddate>20140801</enddate><creator>Ghilardi, S.</creator><creator>Mints, G.</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20140801</creationdate><title>The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination</title><author>Ghilardi, S. ; Mints, G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c237t-32280decb51bb1bf73993bb38bb4075bf68857da3a6c4ff885d8dcb6053d9c553</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ghilardi, S.</creatorcontrib><creatorcontrib>Mints, G.</creatorcontrib><collection>CrossRef</collection><jtitle>Logic journal of the IGPL</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ghilardi, S.</au><au>Mints, G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination</atitle><jtitle>Logic journal of the IGPL</jtitle><date>2014-08-01</date><risdate>2014</risdate><volume>22</volume><issue>4</issue><spage>585</spage><epage>596</epage><pages>585-596</pages><issn>1367-0751</issn><eissn>1368-9894</eissn><doi>10.1093/jigpal/jzt052</doi><tpages>12</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 1367-0751
ispartof	Logic journal of the IGPL, 2014-08, Vol.22 (4), p.585-596
issn	1367-0751 1368-9894
language	eng
recordid	cdi_crossref_primary_10_1093_jigpal_jzt052
source	Business Source Complete; Oxford University Press Journals All Titles (1996-Current)
title	The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T08%3A10%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20logic%20of%20transitive%20and%20dense%20frames:%20from%20the%20step-frame%20analysis%20to%20full%20cut-elimination&rft.jtitle=Logic%20journal%20of%20the%20IGPL&rft.au=Ghilardi,%20S.&rft.date=2014-08-01&rft.volume=22&rft.issue=4&rft.spage=585&rft.epage=596&rft.pages=585-596&rft.issn=1367-0751&rft.eissn=1368-9894&rft_id=info:doi/10.1093/jigpal/jzt052&rft_dat=%3Ccrossref%3E10_1093_jigpal_jzt052%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true