scientific article; zbMATH DE number 1874096

zbMATH Open1008.03018MaRDI QIDQ4795604FDOQ4795604

Authors: Timothy Vermeir 

Publication date: 26 February 2003

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

inconsistent arithmetic

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Consistency and decidability in some paraconsistent arithmetics
• Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case
• Who's afraid of inconsistent mathematics?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inconsistent models of arithmetic. II: The general case
• Arithmetic starred
• Inconsistent models for relevant arithmetics

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)