Inconsistent models for relevant arithmetics

DOI10.2307/2274145zbMath0599.03015MaRDI 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 logic; implication connective; R-mingle; 3-valued Sugihara matrix

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

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