scientific article

zbMath1143.03327MaRDI QIDQ3520835

Jean-Yves Béziau

Publication date: 26 August 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyalgebraic logicmany-valued logicsubstructural logicconsequence operatorabstract logicuniversal logictruth functionality

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) History of mathematical logic and foundations (03-03) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (5)

A shared framework for consequence operations and abstract model theory ⋮ On the universality of atomic and molecular logics via protologics ⋮ Human rationality challenges universal logic ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Universal Logic as a Science of Patterns

This page was built for publication: