scientific article; zbMATH DE number 5316600
From MaRDI portal
Publication:3520835
abstract logicalgebraic logicconsequence operatormany-valued logicsubstructural logicsurveytruth functionalityuniversal logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Logical aspects of lattices and related structures (03G10)
Cited in
(5)
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 Q3520835)