Axiomatic Extensions of Hohle's Monoidal Logic
From MaRDI portal
Publication:4902373
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)