Proof-nets: The parallel syntax for proof-theory

被引：0

作者：

Girard, JY ^{[1
]}

机构：

[1] LAB MATH DISCRETES,UPR 9016 CNRS,F-13288 MARSEILLE 09,FRANCE

来源：

LOGIC AND ALGEBRA | 1996年 / 180卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：97 / 124

页数：4

共 50 条

[31] An exact correspondence between a typed pi-calculus and polarised proof-nets
Honda, Kohei
Laurent, Olivier
THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2223 - 2238
[32] Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Minari, Pierluigi
ADVANCES IN PROOF THEORY, 2016, 28 : 291 - 318
[33] Machine-Checked Proof-Theory for Propositional Modal Logics
Dawson, Jeremy E.
Gore, Rajeev
Wu, Jesse
ADVANCES IN PROOF THEORY, 2016, 28 : 173 - 243
[34] Fresh Logic: proof-theory and semantics for FM and nominal techniques
Gabbay, Murdoch J.
Journal of Applied Logic, 2007, 5 (02) : 356 - 387
[35] A Fine-Grained Computational Interpretation of Girard's Intuitionistic Proof-Nets
Kesner, Delia
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6
[36] On the Proof-Theory of two Formalisations of Modal First-Order Logic
Schwartz, Yehuda
Tourlakis, George
STUDIA LOGICA, 2010, 96 (03) : 349 - 373
[37] On the Proof-Theory of two Formalisations of Modal First-Order Logic
Yehuda Schwartz
George Tourlakis
Studia Logica, 2010, 96 : 349 - 373
[38] A very brief introduction to hybrid logic and hybrid-logical proof-theory
Brauner, Torben
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 3 - +
[39] On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
Marek, V. W.
Remmel, J. B.
LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 223 - +
[40] Quantum theory Proof of parallel universes?
Crane, Leah
NEW SCIENTIST, 2019, 243 (3244) : 7 - 7

← 1 2 3 4 5 →