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 (8)
- A generalisation of a refutation-related method in paraconsistent logics
- Title not available (Why is that?)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Title not available (Why is that?)
- \(n\)-valued maximal paraconsistent matrices
- A weakly-intuitionistic logic \(I1\)
- A tableau style proof system for two paraconsistent logics
- On logical and concurrent equivalences
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)