Noncommutative logic
id:
noncommutative-logic-298-14727372
title:
Noncommutative logic
text:
Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative connectives of the Lambek calculus. Its sequent calculus relies on the structure of order varieties, and the correctness criterion for its proof nets is given in terms of partial permutations. It also has a denotational semantics in which formulas are interpreted by modules over some specific Hopf algebras.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Noncommutative_logic
date created:
date modified:
2024-02-28T13:39:27Z
main entity:
{"identifier":"Q7049221","url":"https://www.wikidata.org/entity/Q7049221"}
image:
fields total:
13
integrity:
13