Axiomatic Extensions of Hohle's Monoidal Logic

DOI10.2991/EUSFLAT.2011.16MaRDI QIDQ4902373zbMATH OpenOpenAlexFDO

Authors 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)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

nonclassical logicssubstructural logicsresiduated lattice

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2059955
• scientific article; zbMATH DE number 1735985
• scientific article; zbMATH DE number 4170882
• Monoidal logics: completeness and classical systems
• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• Extensional Logic of Hyperintensions
• Effective Axiomatizations of Hoare Logics
• Monadic logic and Löwenheim numbers
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Publication:4729762

Cited in

(5)

• A comparison between monoidal and substructural logics
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• scientific article; zbMATH DE number 2059955 (Why is no real title available?)
• (Dual) hoops have unique halving
• scientific article; zbMATH DE number 1735985 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4902373)