scientific article; zbMATH DE number 7085132

zbMath1418.03113MaRDI QIDQ5224895

Lionel Shapiro

Publication date: 24 July 2019

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

zbMATH Keywords

substructural logicsstructural rulesmany-valued logicsnon-classical logicsmany-sided sequent systems

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Proof-theoretic pluralism ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN

This page was built for publication: