Temporal and atemporal truth in intuitionistic mathematics

Saved in:
Bibliographic Details
Published in:Topoi 1994-09, Vol.13 (2), p.83-92
Main Authors: MARTINO, E, USBERTI, G
Format: Article
Language:English
Subjects:
Philosophical logics. Philosophy of language
Philosophy
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373
cites cdi_FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373
container_end_page 92
container_issue 2
container_start_page 83
container_title Topoi
container_volume 13
creator MARTINO, E
USBERTI, G
description
doi_str_mv 10.1007/BF00763507
format article
fullrecord <record><control><sourceid>pascalfrancis_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1007_BF00763507</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>3710292</sourcerecordid><originalsourceid>FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373</originalsourceid><addsrcrecordid>eNpFT01LxDAUDKLgunrxF_TgSai-l9ckrTddXBUWvKznksZXNtIvkuzBf29l_YBhhoGZgRHiEuEGAcztw3pmTQrMkVigMjIvTVEdiwWgNrkpEE_FWYwfAKC0woW423I_jcF2mR3eM5t-XQr7tMv8MCPtffLj4GPyLutt2vFM3sVzcdLaLvLFjy7F2_pxu3rON69PL6v7Te6kKlOOQEWDDWpWuqwIoWiMdUWlrGNWLEESEGjSrGVTtiTJKDYNS1kqVZGhpbg-7Lowxhi4rafgexs-a4T6-3X9_3oOXx3Ck43Odm2wg_Pxr0EGQVaSvgC4-VUc</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Temporal and atemporal truth in intuitionistic mathematics</title><source>Springer Online Journal Archives (Through 1996)</source><creator>MARTINO, E ; USBERTI, G</creator><creatorcontrib>MARTINO, E ; USBERTI, G</creatorcontrib><identifier>ISSN: 0167-7411</identifier><identifier>EISSN: 1572-8749</identifier><identifier>DOI: 10.1007/BF00763507</identifier><language>eng</language><publisher>Heidelberg: Springer</publisher><subject>Philosophical logics. Philosophy of language ; Philosophy</subject><ispartof>Topoi, 1994-09, Vol.13 (2), p.83-92</ispartof><rights>1995 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373</citedby><cites>FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=3710292$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>MARTINO, E</creatorcontrib><creatorcontrib>USBERTI, G</creatorcontrib><title>Temporal and atemporal truth in intuitionistic mathematics</title><title>Topoi</title><subject>Philosophical logics. Philosophy of language</subject><subject>Philosophy</subject><issn>0167-7411</issn><issn>1572-8749</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1994</creationdate><recordtype>article</recordtype><recordid>eNpFT01LxDAUDKLgunrxF_TgSai-l9ckrTddXBUWvKznksZXNtIvkuzBf29l_YBhhoGZgRHiEuEGAcztw3pmTQrMkVigMjIvTVEdiwWgNrkpEE_FWYwfAKC0woW423I_jcF2mR3eM5t-XQr7tMv8MCPtffLj4GPyLutt2vFM3sVzcdLaLvLFjy7F2_pxu3rON69PL6v7Te6kKlOOQEWDDWpWuqwIoWiMdUWlrGNWLEESEGjSrGVTtiTJKDYNS1kqVZGhpbg-7Lowxhi4rafgexs-a4T6-3X9_3oOXx3Ck43Odm2wg_Pxr0EGQVaSvgC4-VUc</recordid><startdate>19940901</startdate><enddate>19940901</enddate><creator>MARTINO, E</creator><creator>USBERTI, G</creator><general>Springer</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>19940901</creationdate><title>Temporal and atemporal truth in intuitionistic mathematics</title><author>MARTINO, E ; USBERTI, G</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1994</creationdate><topic>Philosophical logics. Philosophy of language</topic><topic>Philosophy</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>MARTINO, E</creatorcontrib><creatorcontrib>USBERTI, G</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><jtitle>Topoi</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>MARTINO, E</au><au>USBERTI, G</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Temporal and atemporal truth in intuitionistic mathematics</atitle><jtitle>Topoi</jtitle><date>1994-09-01</date><risdate>1994</risdate><volume>13</volume><issue>2</issue><spage>83</spage><epage>92</epage><pages>83-92</pages><issn>0167-7411</issn><eissn>1572-8749</eissn><cop>Heidelberg</cop><pub>Springer</pub><doi>10.1007/BF00763507</doi><tpages>10</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0167-7411
ispartof Topoi, 1994-09, Vol.13 (2), p.83-92
issn 0167-7411
1572-8749
language eng
recordid cdi_crossref_primary_10_1007_BF00763507
source Springer Online Journal Archives (Through 1996)
subjects Philosophical logics. Philosophy of language
Philosophy
title Temporal and atemporal truth in intuitionistic mathematics
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T16%3A35%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Temporal%20and%20atemporal%20truth%20in%20intuitionistic%20mathematics&rft.jtitle=Topoi&rft.au=MARTINO,%20E&rft.date=1994-09-01&rft.volume=13&rft.issue=2&rft.spage=83&rft.epage=92&rft.pages=83-92&rft.issn=0167-7411&rft.eissn=1572-8749&rft_id=info:doi/10.1007/BF00763507&rft_dat=%3Cpascalfrancis_cross%3E3710292%3C/pascalfrancis_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c258t-1034b1b16e56893104b7ac495acee5e2023030636e62b8f32375e7be228559373%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true