Axiomatic Extensions of Hohle's Monoidal Logic

DOI10.2991/EUSFLAT.2011.16zbMATH Open1254.03064OpenAlexW1981611185MaRDI QIDQ4902373FDOQ4902373

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)

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

Recommendations

• scientific article; zbMATH DE number 2059955
• scientific article; zbMATH DE number 1735985
• scientific article
• 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

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)

Cited In (5)

• (Dual) hoops have unique halving
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Title not available (Why is that?)
• A comparison between monoidal and substructural logics
• Title not available (Why is that?)

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)