Inconsistent models for relevant arithmetics

DOI10.2307/2274145zbMath0599.03015OpenAlexW1988393745MaRDI QIDQ3734361

Robert K. Meyer, Chris Mortensen

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://ojs.victoria.ac.nz/ajl/article/view/6908

zbMATH Keywords

relevance logicimplication connectiveR-mingle3-valued Sugihara matrix

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Inconsistent models of arithmetic. I: Finite models, AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC, On elimination of quantifiers in some non‐classical mathematical theories, Proof theory and mathematical meaning of paraconsistent C-systems, Australasian Association for Logic 30th Anniversary Conference, Wedge Sum, Merge and Inconsistency, Some Comments and Replies, 1996–97 Annual Meeting of the Association for Symbolic Logic, Assertion, Denial and Non-classical Theories, The scope of Gödel's first incompleteness theorem, Inconsistency in mathematics and the mathematics of inconsistency, Paraconsistent Computation and Dialetheic Machines, Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity, \(\supset\)E is admissible in ``true relevant arithmetic

Cites Work

• Model structures and set algebras for Sugihara matrices
• On Entailment
• Unnamed Item