Wim Ruitenburg

MaRDI QIDQ190250zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
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

Research outcomes over time

This page was built for person: Wim Ruitenburg