You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

A non-standard graphical decision procedure and some paraconsistent theorems for the Vasil'evian logic IL2 (2007)

Language
English
↑ Back to top ↑