Studia Logica 43 (1-2):79 - 88 (1984)

Walter Carnielli
University of Campinas
The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure system, are introduced in this paper.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00935742
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,385
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Cylindric Algebras.Leon Henkin - 1971 - Amsterdam: North-Holland Pub. Co..
Every Quotient Algebra for $C_1$ is Trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.

Add more references

Citations of this work BETA

Behavioral Algebraization of da Costa's C-Systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.

Add more citations

Similar books and articles


Added to PP index

Total views
27 ( #375,319 of 2,367,993 )

Recent downloads (6 months)
1 ( #556,092 of 2,367,993 )

How can I increase my downloads?


My notes