Coordinates:

Tomasz Kowalski
Automated Reasoning Group
Computer Sciences Laboratory
Research School of Information Sciences and Engineering
Australian National University
Canberra ACT 0200, Australia

Email: Tomasz.Kowalski@anu.edu.au

Phone: (+61) 2 6125 8833

Work:

Has been and is going to be in algebra and logic. Here is a link to a conference on algebraic methods in substructural logics, organised by Hiroakira Ono and myself. One thing led to another, and we (Nick Galatos, Peter Jipsen, Hiroakira Ono and myself).ended up writing a book, entitled Residuated Lattices: An Algebraic Glimpse at Substructural Logics. on that topic. Here is the book its home page at Elsevier, here a Google preview, and here a Wiki page for errata, questions, open problems, etc.

Here is a link to a wiki list of classes of mathematical structures.

Some of my papers - should you wish to read them - are available here. I also teach Computability and Incompleteness course at our yearly Logic Summer School. Here are slides for the course.

The tense-logical formula $\neg[P]\varphi\wedge\varphi\wedge[F]\varphi$ says something about this page. As usual, given a frame $\langle W,R^\leftarrow,R^\rightarrow\rangle$, a point $x\in F$ and a valuation $v$, we have $x\models_v[P]\varphi$ iff $\forall y R^\leftarrow x: y\models_v\varphi$ and $x\models_v[F]\varphi$ iff $\forall y R^\rightarrow x: y\models_v\varphi$. Read $\varphi$ as this page is under construction. The really important thing is how easy it was to typeset it using Peter Jipsen's ASCIIMathML translator.

Leisure:

Just a photo of what I sometimes do. And a link to what I wish I could do.

For the curious:

The picture on the left is of a BCK-algebra. Its bottom half shows that the quasivariety of BCK-algebras is not a variety (Wronski), and the whole thing shows that CEP fails (Blok, Raftery). It is one of my favourites (if you don't count De Chirico and Dali).

The photo on the right is of yours truly. Taken on a boat off Minnajima. Minnajima is one of the Ryukyus. So is Okinawa. Any more questions?