On the algebraizability of annotated logics

From MaRDI portal

Revision as of 15:20, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1378429

Jump to:navigation, search

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 logic annotated logic congruential system structural logic

Mathematics Subject Classification ID

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

Related Items (4)

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1378429&oldid=13527695"