scientific article; zbMATH DE number 782632

zbMath0827.03013MaRDI QIDQ4841568

Chris Mortensen

Publication date: 8 August 1995

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

zbMATH Keywords

truthtopologyprojective geometrycategory theorymotiontopos theoryparaconsistent logicGödel's incompleteness theoremsinfinitesimal calculusinconsistent theoriesDirac \(\delta\)-functioninconsistent arithmeticinternal logic\(T\)-schemaapplication to control theoryincomplete theoriesBrady's iterative construction of models of the naive comprehension principlecollapsing constructioninconsistent continuous functionsinconsistent ordersinconsistent real number systemsinconsistent structureinconsistent theories of provabilitysethoodsolutions to inconsistent systems of linear equations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Paraconsistent logics (03B53)

Related Items

Paraconsistent logic ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ Inconsistent models of arithmetic. I: Finite models ⋮ The Leibniz continuity condition, inconsistency and quantum dynamics ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ From the Foundations of Mathematics to Mathematical Pluralism ⋮ Does Mathematics Need Foundations? ⋮ Does logical pluralism imply, or suggest, truth pluralism, or vice versa? ⋮ A note on mathematical pluralism and logical pluralism ⋮ Connexive negation ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ Notes on the model theory of DeMorgan logics ⋮ The single-minded pursuit of consistency and its weakness ⋮ Dirac and the dispensability of mathematics ⋮ Inconsistent models of arithmetic Part II: the general case ⋮ Structures and logics: a case for (a) relativism ⋮ Wedge Sum, Merge and Inconsistency ⋮ Paraconsistent orbits of logics ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS ⋮ Real analysis in paraconsistent logic ⋮ The scope of Gödel's first incompleteness theorem ⋮ Chunk and permeate. III: The Dirac delta function ⋮ Inconsistency in mathematics and the mathematics of inconsistency ⋮ Models for a paraconsistent set theory ⋮ Prospects for Triviality ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Peeking at the impossible ⋮ Paraconsistency in categories: case of relevance logic ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Structuring co-constructive logic for proofs and refutations