\(C_ 1\) is not algebraizable

DOI10.1305/ndjfl/1093635932zbMath0744.03027OpenAlexW2061040120MaRDI QIDQ1182701

María G. Schwarze, Irene F. Mikenberg, Renato A. Lewin

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635932

zbMATH Keywords

matrix modelLeibniz operatoralgebraizability of deductive systems

Mathematics Subject Classification ID

Algebraic logic (03G99) Paraconsistent logics (03B53)

Related Items (10)

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ From Inconsistency to Incompatibility ⋮ The simplest protoalgebraic logic ⋮ Behavioral algebraization of logics ⋮ Behavioral algebraization of da Costa's C-systems ⋮ Equivalential and algebraizable logics ⋮ A family of genuine and non-algebraisable C-systems ⋮ P1 algebras

This page was built for publication: \(C_ 1\) is not algebraizable