zbMath0512.03030MaRDI QIDQ4750640
Antoni Torrens Torrell
Publication date: 1982
zbMATH Keywords
closure operatoralgebraic logicTarski's deduction principle
Mathematics Subject Classification ID
Algebraic logic (03G99)