On the algebraizability of annotated logics
From MaRDI portal
Publication:1378429
DOI10.1023/A:1005036412368zbMath0897.03061MaRDI 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
03B70: Logic in computer science
03G25: Other algebras related to logic
03B22: Abstract deductive systems
Related Items
XI Latin American Symposium on Mathematical Logic, On recent applications of paraconsistent logic: an exploratory literature review, On free annotated algebras, Update to ``A survey of abstract algebraic logic