scientific article; zbMATH DE number 922629

zbMATH Open0877.03004MaRDI QIDQ4893149

Robert K. Meyer

Publication date: 5 January 1997

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

zbMATH Keywords

consistencynegation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Can Mathematics Be Proved Consistent?

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 Q4893149)