scientific article
From MaRDI portal
Publication:2772759
zbMath0987.03059MaRDI QIDQ2772759
Renato A. Lewin, S. E. Bowers, Don Pigozzi
Publication date: 19 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasivarietyabstract algebraic logicalgebraic semanticsalgebraizable logicsparaconsistent logicequational axiomatizationannotated logicstructural logic
Algebraic logic (03G99) Quasivarieties (08C15) Abstract deductive systems (03B22) Paraconsistent logics (03B53)
This page was built for publication: