Intuitionist Logic, a Logic of Justification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Studia logica 1978-09, Vol.37 (3), p.243-260
1. Verfasser:	Kearns, John T.
Format:	Artikel
Sprache:	eng
Schlagworte:	Deductive reasoning Inference Logic Logical disjunction Logical theorems Mathematical intuitionism Respect Semantics Truth Truth condition
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	260
container_issue	3
container_start_page	243
container_title	Studia logica
container_volume	37
creator	Kearns, John T.
description
doi_str_mv	10.1007/BF02124726
format	Article
fullrecord	<record><control><sourceid>jstor_proqu</sourceid><recordid>TN_cdi_proquest_journals_1299956638</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>20014904</jstor_id><sourcerecordid>20014904</sourcerecordid><originalsourceid>FETCH-LOGICAL-c155t-ba5def5d86507bf43526af234438f6e34852cc9276951e7793be5693f97d92d23</originalsourceid><addsrcrecordid>eNpF0M1LAzEQBfAgCtbqxbuw4E26Opl87Ry1WK0seNHzst1NJEWbmmQP_vdtWdHTe4cfM_AYu-RwywHM3cMCkKM0qI_YhCuDZWUEHLMJgKBSIFen7CylNQCgJpqw2XKTB5992PiUizp8-G5WtGMpgitehpS98117IOfsxLWfyV785pS9Lx7f5s9l_fq0nN_XZceVyuWqVb11qq-0ArNyUijUrUMhpaictkJWCruO0GhS3BpDYmWVJuHI9IQ9iim7Hu9uY_gebMrNOgxxs3_ZcCQipbWo9upmVF0MKUXrmm30X238aTg0hzWa_zX2-GrE65RD_JMIwCWBFDvuHFg2</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1299956638</pqid></control><display><type>article</type><title>Intuitionist Logic, a Logic of Justification</title><source>Periodicals Index Online</source><source>JSTOR Mathematics & Statistics</source><source>JSTOR Archive Collection A-Z Listing</source><source>SpringerLink Journals - AutoHoldings</source><creator>Kearns, John T.</creator><creatorcontrib>Kearns, John T.</creatorcontrib><identifier>ISSN: 0039-3215</identifier><identifier>EISSN: 1572-8730</identifier><identifier>DOI: 10.1007/BF02124726</identifier><language>eng</language><publisher>Wroclaw, Poland: Ossolineum</publisher><subject>Deductive reasoning ; Inference ; Logic ; Logical disjunction ; Logical theorems ; Mathematical intuitionism ; Respect ; Semantics ; Truth ; Truth condition</subject><ispartof>Studia logica, 1978-09, Vol.37 (3), p.243-260</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c155t-ba5def5d86507bf43526af234438f6e34852cc9276951e7793be5693f97d92d23</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/20014904$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/20014904$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>314,780,784,803,832,27867,27922,27923,58015,58019,58248,58252</link.rule.ids></links><search><creatorcontrib>Kearns, John T.</creatorcontrib><title>Intuitionist Logic, a Logic of Justification</title><title>Studia logica</title><subject>Deductive reasoning</subject><subject>Inference</subject><subject>Logic</subject><subject>Logical disjunction</subject><subject>Logical theorems</subject><subject>Mathematical intuitionism</subject><subject>Respect</subject><subject>Semantics</subject><subject>Truth</subject><subject>Truth condition</subject><issn>0039-3215</issn><issn>1572-8730</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1978</creationdate><recordtype>article</recordtype><sourceid>K30</sourceid><recordid>eNpF0M1LAzEQBfAgCtbqxbuw4E26Opl87Ry1WK0seNHzst1NJEWbmmQP_vdtWdHTe4cfM_AYu-RwywHM3cMCkKM0qI_YhCuDZWUEHLMJgKBSIFen7CylNQCgJpqw2XKTB5992PiUizp8-G5WtGMpgitehpS98117IOfsxLWfyV785pS9Lx7f5s9l_fq0nN_XZceVyuWqVb11qq-0ArNyUijUrUMhpaictkJWCruO0GhS3BpDYmWVJuHI9IQ9iim7Hu9uY_gebMrNOgxxs3_ZcCQipbWo9upmVF0MKUXrmm30X238aTg0hzWa_zX2-GrE65RD_JMIwCWBFDvuHFg2</recordid><startdate>197809</startdate><enddate>197809</enddate><creator>Kearns, John T.</creator><general>Ossolineum</general><scope>AAYXX</scope><scope>CITATION</scope><scope>HFIND</scope><scope>IOIBA</scope><scope>K30</scope><scope>PAAUG</scope><scope>PAWHS</scope><scope>PAWZZ</scope><scope>PAXOH</scope><scope>PBHAV</scope><scope>PBQSW</scope><scope>PBYQZ</scope><scope>PCIWU</scope><scope>PCMID</scope><scope>PCZJX</scope><scope>PDGRG</scope><scope>PDWWI</scope><scope>PETMR</scope><scope>PFVGT</scope><scope>PGXDX</scope><scope>PIHIL</scope><scope>PISVA</scope><scope>PJCTQ</scope><scope>PJTMS</scope><scope>PLCHJ</scope><scope>PMHAD</scope><scope>PNQDJ</scope><scope>POUND</scope><scope>PPLAD</scope><scope>PQAPC</scope><scope>PQCAN</scope><scope>PQCMW</scope><scope>PQEME</scope><scope>PQHKH</scope><scope>PQMID</scope><scope>PQNCT</scope><scope>PQNET</scope><scope>PQSCT</scope><scope>PQSET</scope><scope>PSVJG</scope><scope>PVMQY</scope><scope>PZGFC</scope></search><sort><creationdate>197809</creationdate><title>Intuitionist Logic, a Logic of Justification</title><author>Kearns, John T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c155t-ba5def5d86507bf43526af234438f6e34852cc9276951e7793be5693f97d92d23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1978</creationdate><topic>Deductive reasoning</topic><topic>Inference</topic><topic>Logic</topic><topic>Logical disjunction</topic><topic>Logical theorems</topic><topic>Mathematical intuitionism</topic><topic>Respect</topic><topic>Semantics</topic><topic>Truth</topic><topic>Truth condition</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Kearns, John T.</creatorcontrib><collection>CrossRef</collection><collection>Periodicals Index Online Segment 16</collection><collection>Periodicals Index Online Segment 29</collection><collection>Periodicals Index Online</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - West</collection><collection>Primary Sources Access (Plan D) - International</collection><collection>Primary Sources Access & Build (Plan A) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Midwest</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Northeast</collection><collection>Primary Sources Access (Plan D) - Southeast</collection><collection>Primary Sources Access (Plan D) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Southeast</collection><collection>Primary Sources Access (Plan D) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - UK / I</collection><collection>Primary Sources Access (Plan D) - Canada</collection><collection>Primary Sources Access (Plan D) - EMEALA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - International</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - International</collection><collection>Primary Sources Access (Plan D) - West</collection><collection>Periodicals Index Online Segments 1-50</collection><collection>Primary Sources Access (Plan D) - APAC</collection><collection>Primary Sources Access (Plan D) - Midwest</collection><collection>Primary Sources Access (Plan D) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Canada</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - EMEALA</collection><collection>Primary Sources Access & Build (Plan A) - APAC</collection><collection>Primary Sources Access & Build (Plan A) - Canada</collection><collection>Primary Sources Access & Build (Plan A) - West</collection><collection>Primary Sources Access & Build (Plan A) - EMEALA</collection><collection>Primary Sources Access (Plan D) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - Midwest</collection><collection>Primary Sources Access & Build (Plan A) - North Central</collection><collection>Primary Sources Access & Build (Plan A) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - Southeast</collection><collection>Primary Sources Access (Plan D) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - APAC</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - MEA</collection><jtitle>Studia logica</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kearns, John T.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Intuitionist Logic, a Logic of Justification</atitle><jtitle>Studia logica</jtitle><date>1978-09</date><risdate>1978</risdate><volume>37</volume><issue>3</issue><spage>243</spage><epage>260</epage><pages>243-260</pages><issn>0039-3215</issn><eissn>1572-8730</eissn><cop>Wroclaw, Poland</cop><pub>Ossolineum</pub><doi>10.1007/BF02124726</doi><tpages>18</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0039-3215
ispartof	Studia logica, 1978-09, Vol.37 (3), p.243-260
issn	0039-3215 1572-8730
language	eng
recordid	cdi_proquest_journals_1299956638
source	Periodicals Index Online; JSTOR Mathematics & Statistics; JSTOR Archive Collection A-Z Listing; SpringerLink Journals - AutoHoldings
subjects	Deductive reasoning Inference Logic Logical disjunction Logical theorems Mathematical intuitionism Respect Semantics Truth Truth condition
title	Intuitionist Logic, a Logic of Justification
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T18%3A53%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Intuitionist%20Logic,%20a%20Logic%20of%20Justification&rft.jtitle=Studia%20logica&rft.au=Kearns,%20John%20T.&rft.date=1978-09&rft.volume=37&rft.issue=3&rft.spage=243&rft.epage=260&rft.pages=243-260&rft.issn=0039-3215&rft.eissn=1572-8730&rft_id=info:doi/10.1007/BF02124726&rft_dat=%3Cjstor_proqu%3E20014904%3C/jstor_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1299956638&rft_id=info:pmid/&rft_jstor_id=20014904&rfr_iscdi=true