On the relevant systemsp andp* and some related systems
Studia Logica 43 (1-2):33 - 49 (1984)
| Abstract | In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRichard Sylvan (1990). Variations on da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of Cω and CCω. Studia Logica 49 (1):47-65.
Keith Daynes (1989). Sets as Singularities in the Intensional Universe. Studia Logica 48 (1):111 - 128.
Mark Lance & Philip Kremer (1996). The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment. Journal of Philosophical Logic 25 (4):425 - 449.
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
Richard Routley & Andréa Loparić (1978). Semantical Analysis of Arruda da Costap Systems and Adjacent Non-Replacement Relevant Systems. Studia Logica 37 (4):301 - 320.
Kosta Došen (1989). Sequent-Systems and Groupoid Models. II. Studia Logica 48 (1):41 - 65.
Kosta Došen (1988). Sequent-Systems and Groupoid Models. I. Studia Logica 47 (4):353 - 385.
Steve Giambrone & Aleksandar Kron (1987). Four Relevant Gentzen Systems. Studia Logica 46 (1):55 - 71.
Mark Reynolds (1994). Axiomatisation and Decidability Off Andp in Cyclical Time. Journal of Philosophical Logic 23 (2):197 - 224.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
