Algebraic Analysis of The Term Logic with Choice Operator

DOI10.1002/malq.19810272203zbMath0472.03050OpenAlexW2042328117MaRDI QIDQ3926580

Dietrich Schwartz

Publication date: 1981

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810272203

zbMATH Keywords

choice structureHermes term logichomomorphism theorem for locally finite choice structures

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (1)

Short story of the term “algebraic analysis”

This page was built for publication: Algebraic Analysis of The Term Logic with Choice Operator