On the algebraizability of annotated logics

DOI10.1023/A:1005036412368MaRDI QIDQ1378429zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• On free annotated algebras
• Algebraization of Non-structural Logics
• scientific article; zbMATH DE number 2019878
• Algebras and matrices for annotated logics

Cited in

(11)

• On recent applications of paraconsistent logic: an exploratory literature review
• XI Latin American Symposium on Mathematical Logic
• Annotated logics \(Q\tau\) and ultraproducts
• Algebraization of Non-structural Logics
• An annotated logic defined by a matrix
• The Paraconsistent Logics PJ
• scientific article; zbMATH DE number 2019878 (Why is no real title available?)
• Update to ``A survey of abstract algebraic logic
• scientific article; zbMATH DE number 1696719 (Why is no real title available?)
• On free annotated algebras
• scientific article; zbMATH DE number 1302500 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1378429)