Introduction to clarithmetic II

Saved in:
Bibliographic Details
Published in:Information and computation Vol. 247; pp. 290 - 312
Main Author: Japaridze, Giorgi
Format: Journal Article
Language:English
Published: 01.04.2016
ISSN:0890-5401
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Japaridze, Giorgi
Author_xml – sequence: 1
  givenname: Giorgi
  surname: Japaridze
  fullname: Japaridze, Giorgi
BookMark eNotzz1PwzAUhWEPReoH3dnIH4i5107seEQVH5EqscBs3Ti2cNQmyDYD_55WMJ13OtKzZat5mT1jdwgcAdXDxKPj4lIcBAcQK7aBzkDdNoBrts15AkBsG7Vh9_1c0jJ-uxKXuSpL5U6UYvk8-xJd1fe37CbQKfv9_-7Yx_PT--G1Pr699IfHY-0kdKUOgshIQvKoDcpBj3qA1kvfKAfKBBGMDJ0HFRpBQAFGowfSggxCIO3kjsHfr0tLzskH-5XimdKPRbBXlJ1sdPaKsiDsBSV_Adk8Q1A
Cites_doi 10.2178/jsl/1174668394
10.2178/jsl/1268917495
10.1093/logcom/exr009
10.1016/0168-0072(92)90068-B
10.1016/S0168-0072(03)00023-X
10.1016/j.ic.2011.07.002
10.1016/j.apal.2007.05.001
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.ic.2016.02.002
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EndPage 312
ExternalDocumentID 10_1016_j_ic_2016_02_002
GroupedDBID --K
--M
--Z
-~X
.~1
0R~
1B1
1~.
1~5
29I
4.4
457
4G.
5GY
5VS
6TJ
7-5
71M
8P~
9DU
9JN
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABAOU
ABBOA
ABDPE
ABFNM
ABJNI
ABMAC
ABWVN
ABXDB
ACDAQ
ACGFS
ACLOT
ACNNM
ACRPL
ACVFH
ACZNC
ADBBV
ADCNI
ADEZE
ADFGL
ADMUD
ADNMO
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AEXQZ
AFJKZ
AFPUW
AFTJW
AGHFR
AGQPQ
AGUBO
AGYEJ
AHZHX
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
APXCP
ARUGR
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CAG
CITATION
COF
CS3
DM4
DU5
E3Z
EBS
EFBJH
EFKBS
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HVGLF
HZ~
H~9
IHE
IXB
J1W
KOM
LG5
LX9
M41
MHUIS
MO0
MVM
N9A
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RNS
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SPCBC
SSV
SSZ
T5K
TN5
WH7
WUQ
XPP
ZMT
ZU3
ZY4
~G-
~HD
ID FETCH-LOGICAL-c308t-f2aa93a1ae17913b7d7b05e3e46c069f2f93f8e06f42a0af0d97ba72a910fa7c3
ISICitedReferencesCount 4
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000372136400017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0890-5401
IngestDate Sat Nov 29 01:56:33 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c308t-f2aa93a1ae17913b7d7b05e3e46c069f2f93f8e06f42a0af0d97ba72a910fa7c3
OpenAccessLink https://doi.org/10.1016/j.ic.2016.02.002
PageCount 23
ParticipantIDs crossref_primary_10_1016_j_ic_2016_02_002
PublicationCentury 2000
PublicationDate 2016-04-01
PublicationDateYYYYMMDD 2016-04-01
PublicationDate_xml – month: 04
  year: 2016
  text: 2016-04-01
  day: 01
PublicationDecade 2010
PublicationTitle Information and computation
PublicationYear 2016
References Japaridze (10.1016/j.ic.2016.02.002_br0080) 2010; 75
Japaridze (10.1016/j.ic.2016.02.002_br0070) 2009
Buss (10.1016/j.ic.2016.02.002_br0010) 1986
Japaridze (10.1016/j.ic.2016.02.002_br0040) 2007; 72
Japaridze (10.1016/j.ic.2016.02.002_br0030) 2003; 123
Japaridze (10.1016/j.ic.2016.02.002_br0090) 2011; 209
Japaridze (10.1016/j.ic.2016.02.002_br0060) 2007; 147
Clote (10.1016/j.ic.2016.02.002_br0020) 1992; 56
Japaridze (10.1016/j.ic.2016.02.002_br0100) 2012; 22
Japaridze (10.1016/j.ic.2016.02.002_br0050) 2007; 18
References_xml – start-page: 249
  year: 2009
  ident: 10.1016/j.ic.2016.02.002_br0070
  article-title: In the beginning was game semantics
– volume: 72
  start-page: 243
  year: 2007
  ident: 10.1016/j.ic.2016.02.002_br0040
  article-title: The logic of interactive Turing reduction
  publication-title: J. Symb. Log.
  doi: 10.2178/jsl/1174668394
– volume: 75
  start-page: 565
  year: 2010
  ident: 10.1016/j.ic.2016.02.002_br0080
  article-title: Towards applied theories based on computability logic
  publication-title: J. Symb. Log.
  doi: 10.2178/jsl/1268917495
– volume: 22
  start-page: 605
  year: 2012
  ident: 10.1016/j.ic.2016.02.002_br0100
  article-title: A logical basis for constructive systems
  publication-title: J. Log. Comput.
  doi: 10.1093/logcom/exr009
– volume: 56
  start-page: 73
  year: 1992
  ident: 10.1016/j.ic.2016.02.002_br0020
  article-title: Bounded arithmetic for NC, ALogTIME, L and NL
  publication-title: Ann. Pure Appl. Log.
  doi: 10.1016/0168-0072(92)90068-B
– volume: 18
  start-page: 77
  year: 2007
  ident: 10.1016/j.ic.2016.02.002_br0050
  article-title: Intuitionistic computability logic
  publication-title: Acta Cybern.
– year: 1986
  ident: 10.1016/j.ic.2016.02.002_br0010
– volume: 123
  start-page: 1
  year: 2003
  ident: 10.1016/j.ic.2016.02.002_br0030
  article-title: Introduction to computability logic
  publication-title: Ann. Pure Appl. Log.
  doi: 10.1016/S0168-0072(03)00023-X
– volume: 209
  start-page: 1312
  year: 2011
  ident: 10.1016/j.ic.2016.02.002_br0090
  article-title: Introduction to clarithmetic I
  publication-title: Inf. Comput.
  doi: 10.1016/j.ic.2011.07.002
– volume: 147
  start-page: 187
  year: 2007
  ident: 10.1016/j.ic.2016.02.002_br0060
  article-title: The intuitionistic fragment of computability logic at the propositional level
  publication-title: Ann. Pure Appl. Log.
  doi: 10.1016/j.apal.2007.05.001
SSID ssj0011546
Score 2.1393824
SourceID crossref
SourceType Index Database
StartPage 290
Title Introduction to clarithmetic II
Volume 247
WOSCitedRecordID wos000372136400017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 0890-5401
  databaseCode: AIEXJ
  dateStart: 19950101
  customDbUrl:
  isFulltext: true
  dateEnd: 20171231
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0011546
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1JS8QwFA7ieNCDy6i424MXkUqWbjkO4lKRwYPK3EqaJlrBjoxVxF9v0qQzURGcg5cSQglNv_Dykvfe9wFwgGQASZ4zHxVqBQcchX4SqpZkUMBc4gI1WgR3V3G_nwwG9NpKcL40cgJxVSXv7_T5X6FWfQpsXTo7BdzjQVWHaivQ1VPBrp5_Aj7VueeFIYXVniVXZ9eyfnjS1YpHaep6o7YWqW5Tknkj8fAlNn_JtExh8dHce56Xw9F96V4UoMjJL7H2hEKdB4Fc44cN32Vrvox0p90JiUlw_mFkzXn_8bjUFJAoMpyneLKhtEH0b_vMOPuvTSx7zEqe6REyiLOGEbSD45Aq29TppaeDy3E0CNmCq3YCNtxs8vS-foXjXjh-ws0yWLQOvtczwKyAGVF1wVIrnuFZW9oFCw4T5CrYd1Hz6qHnoual6Rq4PTu9ObnwrXaFzwlMal9ixihhiAnN_0ryuIhzGAoigojDiEosKZGJgJEMMINMwoLGOYsxU-6bZDEn62C2GlZiA3hBIqiUEHMYaOeWJ3mY44KEAmMkkJSb4LCdcvZsKEqy337x1hTvboP5yTLaAbP16FXsgjn-Vpcvoz2L0Sc2DDDC
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Introduction+to+clarithmetic+II&rft.jtitle=Information+and+computation&rft.au=Japaridze%2C+Giorgi&rft.date=2016-04-01&rft.issn=0890-5401&rft.volume=247&rft.spage=290&rft.epage=312&rft_id=info:doi/10.1016%2Fj.ic.2016.02.002&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_ic_2016_02_002
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0890-5401&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0890-5401&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0890-5401&client=summon