scientific article

From MaRDI portal

Publication:2770973

Jump to:navigation, search

zbMath1007.03037MaRDI QIDQ2770973

Jacques Riche

Publication date: 27 March 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relevant logic finite model property first-order arithmetic paraconsistent logic finitization Hilbert's program collapsing lemma paraconsistent model theory relevant model theory strict finitist mathematics

Mathematics Subject Classification ID

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2770973&oldid=15656407"