scientific article; zbMATH DE number 2196606
From MaRDI portal
Publication:5311053
zbMath1082.03008MaRDI QIDQ5311053
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyalgebraic logicmany-valued logicsubstructural logicconsequence operatorabstract logicuniversal logictruth functionality
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
Universal logic: evolution of a project ⋮ Beyond logical pluralism and logical monism ⋮ On a paraconsistentization functor in the category of consequence structures ⋮ Logics and Their Galaxies ⋮ The Lvov-Warsaw School: A True Mythology ⋮ Paraconsistent orbits of logics ⋮ A Tool for Analysing Logics ⋮ Taking degrees of truth seriously
