Algebras and matrices for annotated logics

DOI10.1023/A:1005203411722zbMath0953.03074OpenAlexW1516073242MaRDI QIDQ1576384

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

Publication date: 29 January 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005203411722

zbMATH Keywords

paraconsistencyannotated logicsalgebraic semanticsdecision procedurematrix semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Algebraic logic (03G99) Paraconsistent logics (03B53)

Related Items (1)

On free annotated algebras

This page was built for publication: Algebras and matrices for annotated logics