Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective

Gemma Robles


In the first part of this paper (RML No. 42) a spectrum of constructive logics without the K axiom is defined. Negation is introduced with a propositional falsity constant. The aim of this second part is to build up logics definitionally equivalent to those displayed in the first part, negation being now introduced as a primitive unary connective. Relational ternary semantics is provided for all logics defined in the paper.

[1] H. Andr´eka, J. X. Madar´asz and I. Nemeti, Mutual definability does not imply definitional equivalence, a simple example, Mathematical Logic Quaterly 51 (2005), pp. 591–597.
[2] A. Church, Introduction to Mathematical logic, Edition revised and enlarged, Princeton, Princeton University Press, 1996.
[3] G. Robles, The basic constructive logic for negation-consistency, Journal of Logic Language and Information 17/2 (2008), pp. 161–181.
[4] G. Robles and J. M. M´endez, On defining constructive negation in logics of entailment, in Dimensions of Logical Concepts, (ed. by Jean-Yves B´eziau and Alexandre Costa-Leite) Cole¸c˜ao CLE, volumen 54, UNICAMP, Campinas, Brazil. ISBN: 97885-86497-05-6, 2009, 265-277.
[5] G. Robles and J. M. M´endez, Minimal non-relevant logics without the K axiom, Reports on Mathematical Logic 42 (2007), pp. 117–144.
[6] R. Routley, R. K. Meyer, V. Plumwood and R. T. Brady, Relevant Logics and their Rivals, vol. 1, Atascadero, CA, Ridgeview Publishing Co., 1982.
[7] J. Slaney, MaGIC, Matrix Generator for Implication Connectives: Version 2.1, Notes and Guide, Canberra, Australian National University, 1995. URL: http://˜jks

Czasopismo ukazuje się w sposób ciągły on-line.
Pierwotną formą czasopisma jest wersja elektroniczna.