Axiomatic Extensions of Hohle's Monoidal Logic

DOI10.2991/EUSFLAT.2011.16zbMath1254.03064OpenAlexW1981611185MaRDI QIDQ4902373

Esko Turunen

Publication date: 15 January 2013

Published in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2991/eusflat.2011.16

zbMATH Keywords

substructural logicsnonclassical logicsresiduated lattice

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Ordered semigroups and monoids (06F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

A comparison between monoidal and substructural logics

This page was built for publication: Axiomatic Extensions of Hohle's Monoidal Logic