scientific article; zbMATH DE number 6740639

zbMath1426.03005MaRDI QIDQ5274887

No author found.

Publication date: 6 July 2017

Full work available at URL: https://www.sciencedirect.com/science/book/9780081007518

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

zbMATH Keywords

negationrelevance logicconstructive logicternary relational semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Combined logics (03B62)

Related Items (7)

What is a relevant connective? ⋮ A substructural approach to explicit modal logic ⋮ A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\) ⋮ A plea for KR ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ A basic quasi-Boolean logic of intuitionistic character

This page was built for publication: