scientific article; zbMATH DE number 859797
From MaRDI portal
Publication:4870569
zbMATH Open0853.03006MaRDI QIDQ4870569FDOQ4870569
Authors: Antonio M. A. Sette, Elias Humberto Alves
Publication date: 6 January 1997
Title of this publication is not available (Why is that?)
Recommendations
Cited In (7)
- Title not available (Why is that?)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Title not available (Why is that?)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics
- A tableau style proof system for two paraconsistent logics
- On logical and concurrent equivalences
- n-valued maximal paraconsistent matrices
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4870569)