Publication:4841568

zbMath0827.03013MaRDI QIDQ4841568

Chris Mortensen

Publication date: 8 August 1995

zbMATH Keywords

truth; topology; projective geometry; category theory; motion; topos theory; paraconsistent logic; Gödel's incompleteness theorems; infinitesimal calculus; inconsistent theories; Dirac \(\delta\)-function; inconsistent arithmetic; internal logic; \(T\)-schema; application to control theory; incomplete theories; Brady's iterative construction of models of the naive comprehension principle; collapsing construction; inconsistent continuous functions; inconsistent orders; inconsistent real number systems; inconsistent structure; inconsistent theories of provability; sethood; solutions to inconsistent systems of linear equations

Mathematics Subject Classification ID

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

03B53: Paraconsistent logics

Related Items

Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices, Prospects for Triviality, Paraconsistent Computation and Dialetheic Machines, The Evil Twin: The Basics of Complement-Toposes, From (Paraconsistent) Topos Logic to Universal (Topos) Logic, A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS, From the Foundations of Mathematics to Mathematical Pluralism, Does Mathematics Need Foundations?, Structuring co-constructive logic for proofs and refutations, Paraconsistent logic, Proof theory and mathematical meaning of paraconsistent C-systems, Notes on the model theory of DeMorgan logics, Structures and logics: a case for (a) relativism, The single-minded pursuit of consistency and its weakness, Dirac and the dispensability of mathematics, Real analysis in paraconsistent logic, Paraconsistency in categories: case of relevance logic, \(\supset\)E is admissible in ``true relevant arithmetic, Peeking at the impossible, Inconsistent models of arithmetic. I: Finite models, The Leibniz continuity condition, inconsistency and quantum dynamics, Models for a paraconsistent set theory, Paraconsistent metatheory: new proofs with old tools, Paraconsistent orbits of logics, 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, Inconsistent models of arithmetic Part II: the general case, Wedge Sum, Merge and Inconsistency