Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective
Languages of publication
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.
07 - 07 - 2015
Publication order reference