scientific article; zbMATH DE number 7317228

zbMath1456.03089arXiv1101.5442MaRDI QIDQ4964696

Paulo Oliva, Gilda Ferreira

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1101.5442

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items (4)

New Algebras and Logic from a Category of Rough Sets ⋮ Double negation as minimal negation ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ A Classical Sequent Calculus with Dependent Types

This page was built for publication: