Newbetuts
.
New posts in linear-logic
Defined negation in intuitionistic linear logic
logic
intuitionistic-logic
nonclassical-logic
linear-logic
What is the difference between intuitionistic, classical, modal and linear logic?
logic
type-theory
modal-logic
intuitionistic-logic
linear-logic
Why is it called linear logic?
logic
intuitionistic-logic
linear-logic
About Jean-Yves Girard
logic
soft-question
linear-logic
What is the intuition behind the "par" operator in linear logic?
logic
intuition
linear-logic
Prev