Linear arithmetic desecsed

MaRDI QIDQ2735832zbMATH OpenFDO

Authors Robert K. Meyer, Greg Restall, John K. Slaney

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

automated reasoninglinear arithmeticrelevant arithmetic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) First-order arithmetic and fragments (03F30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1874095
• Arithmetic formulated relevantly
• Weak arithmetics and Kripke models
• Inconsistent models for relevant arithmetics
• Axioms and models of linear logic

Cited in

(7)

• Inconsistent models (and infinite models) for arithmetics with constructible falsity
• Assertion, Denial and Non-classical Theories
• SUBSTITUTION IN RELEVANT LOGICS
• Models for official entailment
• Relevant rational arithmetic
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• A note on the strength of paraconsistent arithmetic

This page was built for publication: Linear arithmetic desecsed

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