On the algebraizability of annotated logics

DOI10.1023/A:1005036412368zbMath0897.03061OpenAlexW1602480434MaRDI QIDQ1378429

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

Publication date: 11 October 1998

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

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

zbMATH Keywords

algebraizable logicannotated logiccongruential systemstructural logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Abstract deductive systems (03B22)

Related Items

On free annotated algebras ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Update to ``A survey of abstract algebraic logic ⋮ On recent applications of paraconsistent logic: an exploratory literature review

This page was built for publication: On the algebraizability of annotated logics