scientific article; zbMATH DE number 1975400
From MaRDI portal
Publication:4424643
zbMATH Open1031.03043MaRDI QIDQ4424643FDOQ4424643
Authors:
Publication date: 4 March 2004
Title of this publication is not available (Why is that?)
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)
Cited In (11)
- Current trends in substructural logics
- Subminimal logics in light of Vakarelov's logic
- Substructural Logics in Natural Deduction
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Generalized quantification as substructural logic
- Skolemization for Substructural Logics
- Hiroakira Ono on Substructural Logics
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)