Models for substructural arithmetics

MaRDI QIDQ3466597zbMATH OpenFDO

Authors Greg Restall

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/1814/1664

zbMATH Keywords

models for arithmeticsubstructural arithmeticsubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 1543335
• scientific article; zbMATH DE number 1916520
• scientific article; zbMATH DE number 823603
• scientific article; zbMATH DE number 935035
• Models of relevant arithmetic

Cited in

(7)

• The scope of Gödel's first incompleteness theorem
• Assertion, Denial and Non-classical Theories
• On not saying what we shouldn't have to say
• SUBSTITUTION IN RELEVANT LOGICS
• scientific article; zbMATH DE number 2208069 (Why is no real title available?)
• Models for official entailment
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics

This page was built for publication: Models for substructural arithmetics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466597)