scientific article; zbMATH DE number 1975400

MaRDI QIDQ4424643zbMATH OpenFDO

Authors

Publication date 4 March 2004

zbMATH Keywords

substructural logicsŁukasiewicz infinite-valued logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 2079266
• Fuzzy logics from substructural perspective
• Current trends in substructural logics
• scientific article; zbMATH DE number 591901
• Substructural logics: a primer

Cited in

(11)

• Proper semantics for substructural logics, from a stalker theoretic point of view
• Current trends in substructural logics
• Skolemization for Substructural Logics
• scientific article; zbMATH DE number 3961576 (Why is no real title available?)
• scientific article; zbMATH DE number 1870417 (Why is no real title available?)
• Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
• scientific article; zbMATH DE number 7297101 (Why is no real title available?)
• Substructural Logics in Natural Deduction
• Generalized quantification as substructural logic
• Hiroakira Ono on Substructural Logics
• Subminimal logics in light of Vakarelov's logic

This page was built for publication:

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