Searching for authors named "Yde Venema" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Atom structures
- …Atom structures Yde Venema ∗ August 8, 2002 Abstract The atom structure of an atomic boolean…
- Cited by 7 (3 self) – Add To MetaCart
-
Atom structures and Sahlqvist equations
- …Atom structures and Sahlqvist equations Yde Venema Department of Mathematics and Computer Science…
- Cited by 4 (1 self) – Add To MetaCart
-
Atomless varieties
- …Atomless Varieties Yde Venema ∗ December 11, 2002 Abstract We define a nontrivial variety…
- Cited by 3 (0 self) – Add To MetaCart
-
Meeting a modality? Restricted permutation for the Lambek calculus. ' OTS Working Paper, Onderzoekinstituut voor Taal en Spraak, Universiteit
- …Meeting a Modality? Restricted Permutation for the Lambek Calculus Yde Venema ∗ Abstract…
- Cited by 3 (1 self) – Add To MetaCart
-
Meeting strength in substructural logics
- …Meeting Strength in substructural logics Yde Venema ∗ October 15, 2003 Abstract. This paper…
- Cited by 2 (0 self) – Add To MetaCart
-
Points, Lines and Diamonds: a TwoSorted Modal Logic for Projective Planes
- …Points, lines and diamonds: a two-sorted modal logic for projective planes Yde Venema ∗ Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
Duals of Subdirectly Irreducible Modal Algebras
- …Duals of subdirectly irreducible modal algebras Yde Venema September 11, 2002 Abstract We give a…
- Cited by 1 (0 self) – Add To MetaCart
-
Canonical Pseudo-Correspondence
- …Canonical Pseudo-Correspondence Yde Venema Abstract Generalizing an example from Fine [1…
- Cited by 1 (1 self) – Add To MetaCart
-
A Crash Course in Arrow Logic
- …A Crash Course in Arrow Logic Yde Venema present address: Department of Mathematics and Computer…
- Cited by 25 (2 self) – Add To MetaCart
-
Automata and fixed point logics: a coalgebraic perspective
- …Automata and Fixed Point Logic: a Coalgebraic Perspective Yde Venema ∗ Abstract This paper…
- Cited by 8 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
