✦ LIBER ✦

Dynamic Non-Commutative Logic

✍ Scribed by Norihiro Kamide

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 216 KB
Volume: 19
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9101-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-commutative intuitionistic linear lo

Non-commutative intuitionistic linear logic

✍ V. Michele Abrusci 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

Non-commutative Łukasiewicz propositiona

Non-commutative Łukasiewicz propositional logic

✍ Ioana Leuştean 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 219 KB

Observations on non-commutative fuzzy lo

Observations on non-commutative fuzzy logic

✍ P. Hájek 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 267 KB

Non-commutative logic I: the multiplicat

Non-commutative logic I: the multiplicative fragment

✍ V.Michele Abrusci; Paul Ruet 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 283 KB

We introduce proof nets and sequent calculus for the multiplicative fragment of noncommutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order va

Commutative basic algebras and non-assoc

Commutative basic algebras and non-associative fuzzy logics

✍ Michal Botur; Radomír Halaš 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 185 KB

Very and more or less in non-commutative

Very and more or less in non-commutative fuzzy logic

✍ Esfandiar Eslami; Hamid Khosravi; Faramarz Sadeghi 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 130 KB