All material (text and software) is presented at
For all interaction (blog, comments, forum) see
Originally, Bucephalus  was the name of Alexander the Great's horse. In the centuries afterwards, this frequently served as a proper name example in many classic text books of philosophy and logic. Here and now, bucephalus is the title of an ongoing research project in logic, which went online as bucephalus.org in 1999.
Up to present, the papers and software available were very bottom-up and mathematical in character, stand-alone pieces that offered proper formal solutions in themselves. But in fact, the whole endeavour is inspired by a much broader perspective and motivation, a rather philosophical change of view on the whole subject of logic itself. The intention is to work out an overview of this whole endeavour rather soon. But to give at least some idea of the whole plan, the ongoing work is dynamically structured as interconnected "major" and "minor" projects. Some of these projects are finished and available online, others are in progress or planned for some some future time.
caretakeris a command and program that creates and maintaines such a project house. In particular, it can start a GUI server for web browsers to very intuitively manage any number of single projects. All that is the Caretaker in a Project House.