scientific article; zbMATH DE number 1874095

zbMath1014.03055MaRDI QIDQ4795603

Robert K. Meyer, Greg Restall

Publication date: 11 March 2003

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

zbMATH Keywords

relevant logicrelevant arithmeticrelevant truthstrenge omega arithmeticstrenge Peano arithmeticstrenge true arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

METAVALUATIONS ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ Assertion, Denial and Non-classical Theories