scientific article
From MaRDI portal
Publication:3973198
zbMath0735.03011MaRDI QIDQ3973198
No author found.
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (2)
К вопросу о критерии паранепротиворечивости логик ⋮ Problem-oriented theorem-proving method in fuzzy logic (PO-method)
This page was built for publication:
