scientific article; zbMATH DE number 6174940
From MaRDI portal
Publication:4925883
zbMath1336.03006MaRDI QIDQ4925883
Publication date: 12 June 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (4)
METAVALUATIONS ⋮ The simple consistency of naive set theory using metavaluations ⋮ The Number of Logical Values ⋮ Logic—The Big Picture
This page was built for publication:
