Notre Dame Journal of Formal Logic

Relevance and paraconsistency---a new approach. II. The formal systems.

Arnon Avron

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 31, Number 2 (1990), 169-202.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093635414

Zentralblatt MATH identifier
0714.03020

Mathematical Reviews number (MathSciNet)
MR1058420

Digital Object Identifier
doi:10.1305/ndjfl/1093635414

Subjects
Primary: 03B46
Secondary: 03B53: Paraconsistent logics

Citation

Avron, Arnon. Relevance and paraconsistency---a new approach. II. The formal systems. Notre Dame J. Formal Logic 31 (1990), no. 2, 169--202. doi:10.1305/ndjfl/1093635414. http://projecteuclid.org/euclid.ndjfl/1093635414.


Export citation

See also

  • Part I: Arnon Avron. Relevance and paraconsistency---a new approach. J. Symbolic Logic 55 (1990), no. 2, 707-732.
  • Part III: Arnon Avron. Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems. Notre Dame Journal of Formal Logic, volume 32, issue 1, (1991), pp. 147-160.