Algebraic Analysis of The Term Logic with Choice Operator
From MaRDI portal
Publication:3926580
DOI10.1002/malq.19810272203zbMath0472.03050MaRDI QIDQ3926580
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
03G25: Other algebras related to logic
Related Items