A Constructive Analysis of $mathbf{RM}$

Journal of Symbolic Logic 52 (4):939-951 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Arnon Avron, Relevance and Paraconsistency--A New Approach; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part II: The Formal Systems; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part III: Cut-Free Gentzen-Type Systems. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 , pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 , pp. 169–202. - Arnon Avron. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 , pp. 147–160. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
R-Mingle is Nice, and so is Arnon Avron.J. Michael Dunn - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 141-165.
A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.
Linear Abelian Modal Logic.Hamzeh Mohammadi - 2024 - Bulletin of the Section of Logic 53 (1):1-28.
A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
Introduction: Non-classical Logics—Between Semantics and Proof Theory.Ofer Arieli & Anna Zamansky - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 1-11.
Theorems of Alternatives for Substructural Logics.Almudena Colacito, Nikolaos Galatos & George Metcalfe - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 91-105.
Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
On the Compactness of $mathbf{aleph}1$ and $mathbf{aleph}2$.C. A. Di Prisco & J. Henle - 1978 - Journal of Symbolic Logic 43 (3):394-401.

Analytics

Added to PP
2013-11-02

Downloads
12 (#1,091,966)

6 months
4 (#1,004,663)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Arnon Avron
Tel Aviv University

Citations of this work

Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.

Add more citations

References found in this work

No references found.

Add more references