Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Quantifiers and sheaves | 1970 | |||
Lambda calculus and recursion theory | 1975 | |||
Sur les algébres de Hilbert | 1966 | |||
An introduction to modal logic | 1977 | |||
Applications of model theory to algebra, analysis, and probability | 1969 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Reifying dynamical algebra: Maximal ideals in countable rings, constructively | Computability |
| 2024 | |
Bitopological models of intuitionistic epistemic logic | Uspekhi Matematicheskikh Nauk | 2024 | ||
Cardinality Reduction Theorem for Logics QHC and QH4 | Algebra and Logic |
| 2023 | |
Deriving Dualities in Pointfree Topology from Priestley Duality | Applied Categorical Structures |
| 2023 | |
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics | Studia Logica |
| 2023 |