Publication:4198053
From MaRDI portal
zbMath0411.68035MaRDI QIDQ4198053
Publication date: 1978
03G25: Other algebras related to logic
68W99: Algorithms in computer science
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Functional completeness in iterative meta-algebras, Functional completeness criteria in Dijkstra algebra, Criteria of functional completeness for meta-algebras without assignments of logical constants