| Publication | Date of Publication | Type |
|---|
Kolmogorov and Kuroda translations into basic predicate logic
Logic Journal of the IGPL | 2024-11-15 | Paper |
| scientific article; zbMATH DE number 7217919 (Why is no real title available?) | 2020-07-06 | Paper |
Latarres, lattices with an arrow
Studia Logica | 2018-10-02 | Paper |
Boolean algebras in Visser algebras
Notre Dame Journal of Formal Logic | 2016-03-04 | Paper |
Simple axioms that are obviously true in \(\mathbb{N}\)
The Review of Modern Logic | 2015-01-19 | Paper |
Very intuitionistic theories and quantifier elimination
The Review of Modern Logic | 2015-01-19 | Paper |
Quantifier elimination for a class of intuitionistic theories
Notre Dame Journal of Formal Logic | 2008-10-20 | Paper |
Kripke submodels and universal sentences
Mathematical Logic Quarterly | 2007-06-26 | Paper |
Chainability and Hemmingsen's theorem
Topology and its Applications | 2006-09-13 | Paper |
Intuitionistic axiomatizations for bounded extension Kripke models.
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
Basic predicate calculus
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Basic propositional calculus. II: Interpolation
Archive for Mathematical Logic | 2001-01-01 | Paper |
Basic logic, K4, and persistence
Studia Logica | 2000-08-23 | Paper |
Basic Propositional Calculus I
Mathematical Logic Quarterly | 1999-05-16 | Paper |
A course in constructive algebra
Universitext | 1993-06-05 | Paper |
Products of idempotent matrices over Hermite domains
Semigroup Forum | 1993-05-16 | Paper |
Inequality in constructive mathematics
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 30929 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 17894 (Why is no real title available?) | 1992-06-26 | Paper |
Notions of relative ubiquity for invariant sets of relational structures
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4008530 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4008530 (Why is no real title available?) | 1987-01-01 | Paper |
On the period of sequences (An(p)) in intuitionistic propositional calculus
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827861 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3720905 (Why is no real title available?) | 1981-01-01 | Paper |
