| |
In Relations and Kleene algebra in computer science, Vol. 4136 (2006), pp. 162-176.
|
| |
Studia Logica, Vol. 59, No. 1. (1997), pp. 121-141.
|
| |
Proc. Amer. Math. Soc., Vol. 91, No. 3. (1984), pp. 436-443.
|
| |
Studia Logica, Vol. 50, No. 1. (1991), pp. 81-105.
|
| |
Theoria, Vol. 63, No. 3. (1997), pp. 182-209.
|
| |
In Advances in modal logic, Vol.\ 1 (Berlin, 1996), Vol. 87 (1998), pp. 307-359.
|
| |
J. Symbolic Logic, Vol. 44, No. 1. (1979), pp. 33-35.
|
| |
Notre Dame J. Formal Logic, Vol. 22, No. 4. (1981), pp. 357-374.
|
| |
J. Philos. Logic, Vol. 29, No. 4. (2000), pp. 425-431.
|
| |
Math. Intelligencer, Vol. 7, No. 4. (1985), pp. 27-35.
|
| |
|
| |
In Handbook of philosophical logic, Vol.\ 2 (2001), pp. 133-247.
|
| |
In Beyond two: theory and applications of multiple-valued logic, Vol. 114 (2003), pp. 59-100.
|
| |
In Theories of types and proofs (Tokyo, 1997), Vol. 2 (1998), pp. 207-254.
|
| |
Notre Dame J. Formal Logic, Vol. 16 (1975), pp. 305-328.
|
| |
Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19.
|
| |
In Logic Colloquium '73 (Bristol, 1973) (1975), pp. 135-156. Studies in Logic and the Foundations of Math., Vol. 80.
|
| |
In Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (1966), pp. 1-20.
|
| |
Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 1. (2002), pp. 1-37 (electronic).
|
| |
Notre Dame J. Formal Logic, Vol. 42, No. 3. (2001), pp. 171-192 (2003).
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307.
|
| |
|
Search
