A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective
2010
Reports on Mathematical Logic
Preserved Fulltext
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.
dblp:journals/rml/Robles10
fatcat:hjqcdqcblvd53awiahzqujqyxi