scientific article; zbMATH DE number 1874096

MaRDI QIDQ4795604zbMATH OpenFDO

Authors Timothy Vermeir

Publication date 26 February 2003

zbMATH Keywords

inconsistent arithmetic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 2070199
• Inconsistent number systems
• Arithmetic starred
• Publication:4205424
• Consistency and decidability in some paraconsistent arithmetics

Cited in

(9)

• Inconsistent models for relevant arithmetics
• Consistency and decidability in some paraconsistent arithmetics
• Inconsistent models of arithmetic. II: The general case
• Arithmetic starred
• scientific article; zbMATH DE number 3904563 (Why is no real title available?)
• Who's afraid of inconsistent mathematics?
• scientific article; zbMATH DE number 176405 (Why is no real title available?)
• scientific article; zbMATH DE number 910435 (Why is no real title available?)
• Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case

This page was built for publication:

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