MATH
Login Or Sign up

List Question

15
100
Views

Proving Negation Identity in Intuitionistic Linear Logic

Published on
#logic #proof-theory #sequent-calculus #linear-logic
168
Views

How can we interpret that $A, B \vdash A, B$ is unprovable with resource interpretation in Linear Logic?

Published on
#logic #proof-theory #nonclassical-logic #sequent-calculus #linear-logic
5.6k
Views

What is the intuition behind the "par" operator in linear logic?

Published on
#logic #intuition #linear-logic
34
Views

What flavours of Linear Logic are algebraizable?

Published on
#algebraic-logic #linear-logic
83
Views

Is there a linear logic/category that deals with real quantities of resources?

Published on
#logic #category-theory #linear-logic
104
Views

What is the resource interpretation of $A \to B$ in linear logic?

Published on
#logic #soft-question #linear-logic
67
Views

What is the interpretation for $A^\bot$ in Linear logic?

Published on
#linear-logic
250
Views

Graphical calculus for star-autonomous categories?

Published on
#category-theory #duality-theorems #visualization #monoidal-categories #linear-logic
101
Views

Is $A ⅋ (B \otimes C) \vdash (A⅋B) \otimes C$ provable in MLL?

Published on
#logic #sequent-calculus #linear-logic
353
Views

Why is multiplicative disjunction called "par" in linear logic?

Published on
#logic #soft-question #terminology #math-history #linear-logic
285
Views

Linear logic and linearly distributive categories

Published on
#logic #category-theory #sequent-calculus #categorical-logic #linear-logic
52
Views

Linearly distributive categories: Principles of excluded middle and contradiction

Published on
#logic #category-theory #tensor-products #monoidal-categories #linear-logic
36
Views

Abbreviations for variants of mLL?

Published on
#logic #notation #soft-question #terminology #linear-logic
111
Views

Sequent calculus as multilinear/tensor algebra?

Published on
#category-theory #type-theory #sequent-calculus #linear-logic
98
Views

Linear Logic Question About Exponentials

Published on
#logic #linear-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.