Back to Results
First PageMeta Content
Mathematics / Calculus of structures / Deep inference / Linear logic / Cut-elimination theorem / Proof calculus / Analytic proof / Sequent calculus / Propositional calculus / Logic / Mathematical logic / Proof theory


THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model.
Add to Reading List

Document Date: 2014-05-08 11:14:10

Open Document

File Size: 178,16 KB

Share Result on Facebook

City

Dresden / Amsterdam / /

Company

Monotone Systems / System BV / ACTA Press / Deep Inference / COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV / T HE T HEORY B EHIND BV As / /

Continent

Europe / /

Country

Netherlands / United Kingdom / /

IndustryTerm

cited web page / inference proof systems / relation web / web page http /

Organization

North Atlantic Treaty Organization / Universitat / /

Person

Michel Parigot / Luca Roversi / Michael Moortgat / Rolf H. Mohring / Ivan T. Ivanov / Gerhard Gentzen / Lutz Straßburger / Bob Coecke / Georg Moser / Richard F. Blute / Anupam Das / Tom Gundersen / Kai Brunnler / Philip Scott / Paola Bruscoli / Jean-Yves Girard / Stephane Gimenez / George Metcalfe / Richard Blute / Andrei Voronkov / Sergey Slavnov / Emil Jeˇrabek / Elaine Pimentel / Benedikt Lowe / PACE -T IME / /

Position

editor / going forward / representative / /

ProgrammingLanguage

Lambda Calculus / /

PublishedMedium

Elsevier / Electronic Notes in Theoretical Computer Science / Logical Methods in Computer Science / Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

pdf / artificial intelligence / http / /

URL

http /

SocialTag