Remark on Relevant Arithmetic
This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984).
Gespeichert in:
| Veröffentlicht in: | The Australasian journal of logic 2021-07, Vol.18 (5), p.426-427 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984). |
|---|---|
| ISSN: | 1448-5052 1448-5052 |
| DOI: | 10.26686/ajl.v18i5.6915 |