Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/13655
Pоljе DC-а | Vrеdnоst | Јеzik |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Ivetić, Jelena | en_US |
dc.contributor.author | Lescanne P. | en_US |
dc.contributor.author | Žunić, D. | en_US |
dc.date.accessioned | 2020-03-03T14:53:11Z | - |
dc.date.available | 2020-03-03T14:53:11Z | - |
dc.date.issued | 2011-08-01 | - |
dc.identifier.isbn | 9783642223020 | en_US |
dc.identifier.issn | 3029743 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/13655 | - |
dc.description.abstract | In this paper we extend the Curry-Howard correspondence to intuitionistic sequent calculus with explicit structural rules of weakening and contraction. We present a linear term calculus derived from the calculus of Espírito Santo, which captures the computational content of the intuitionistic sequent logic, by adding explicit operators for weakening and contraction. For the proposed calculus we introduce the type assignment system with simple types and prove some operational properties, including the subject reduction and strong normalisation property. We then relate the proposed linear type calculus to the simply typed intuitionistic calculus of Kesner and Lengrand, which handles explicit operators of weakening and contraction in the natural deduction framework. © 2011 Springer-Verlag. | en_US |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_US |
dc.title | Intuitionistic sequent-style calculus with explicit structural rules | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | 10.1007/978-3-642-22303-7_7 | - |
dc.identifier.scopus | 2-s2.0-79960821899 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/79960821899 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 124 | en_US |
dc.relation.firstpage | 101 | en_US |
dc.relation.volume | 6618 LNAI | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
SCOPUSTM
Nаvоđеnjа
1
prоvеrеnо 26.08.2023.
Prеglеd/i stаnicа
47
Prоtеklа nеdеljа
16
16
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.