An algebraic study of well-foundedness
- 1 January 1985
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 44 (4) , 423-437
- https://doi.org/10.1007/bf00370431
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Representation and duality theory for diagonalizable algebrasStudia Logica, 1975
- Algebraic semantics for modal logics IIThe Journal of Symbolic Logic, 1966
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951