scientific article; zbMATH DE number 7085132
From MaRDI portal
Publication:5224895
zbMath1418.03113MaRDI QIDQ5224895
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
substructural logicsstructural rulesmany-valued logicsnon-classical logicsmany-sided sequent systems
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: