DOI10.1305/ndjfl/1063372243zbMath1034.03055MaRDI QIDQ1422100
Olga Ambas
Publication date: 4 February 2004 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1063372243
zbMATH Keywords
algebraizable logic; many-valued logic; strong completeness
Mathematics Subject Classification ID
03G25: Other algebras related to logic
03B50: Many-valued logic
Cites Work