MATH
Login Or Sign up

List Question

15
434
Views

About the internal hom in a symmetric monoidal closed category

Published on
#logic #category-theory #monoidal-categories #linear-logic
330
Views

For every formula of linear logic, is there an equivalent formula in intuitionistic linear logic?

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

Is $A \& B \multimap A$ derivable?

Published on
#logic #proof-theory #formal-proofs #sequent-calculus #linear-logic
303
Views

Distributive property of tensor ($\otimes$) over par (⅋) in linear logic

Published on
#logic #tensor-products #proof-theory #sequent-calculus #linear-logic
30
Views

What are the differences between a linear logic based planner and a first order logic based planner

Published on
#first-order-logic #artificial-intelligence #linear-logic
167
Views

Resource Metalogic: Proving that a theorem can (not) be deduced from given axioms in a certain number of steps

Published on
#independence #axioms #meta-math #linear-logic
212
Views

Substructural Logic: Understanding the roles of Weakening and Contraction

Published on
#logic #linear-logic
265
Views

Intuitionistic Linear Logic

Published on
#logic #reference-request #proof-theory #constructive-mathematics #linear-logic
68
Views

Logics for resource control over time

Published on
#logic #linear-logic
114
Views

English Sentences to Linear Logic

Published on
#logic #logic-translation #linear-logic
124
Views

Basic equivalences in linear logic

Published on
#logic #computer-science #nonclassical-logic #linear-logic
107
Views

Can I derive $ \vdash \Gamma $ from $ \vdash \Gamma, A, A^\bot $?

Published on
#logic #nonclassical-logic #sequent-calculus #linear-logic
136
Views

Resource request: linear logic

Published on
#logic #reference-request #linear-logic
155
Views

Linear logic as Fitch-style natural deduction?

Published on
#logic #soft-question #natural-deduction #linear-logic
84
Views

Is there a "standard" normal form for formulas in linear logic?

Published on
#logic #conjunctive-normal-form #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.