FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online - Reply 1

Hi Joseph,

I am looking for an introduction with practical examples for intuitionistic propositional logic, but a search only showed up for me reference that are highly mathematical.

Could you perhaps recommend something readable for a non-logician …



Logical Options

An Introduction to Classical and Alternative Logics

In my opinion, it is certainly a good introduction: Bell et alii 's proof method is not really difficult, more simple than FCube algorithm, but akin to it (it is also the indirect method of proving via a search of countermodel). It is the intuitionistic version of Beth trees method for classical logic. Have a look on this nice book. If you cannot find it, please, send an email to me (my email adress is on my blog).

“An Introduction to Classical and Alternative Logics” by: John L. Bell; David DeVidi; Graham Solomon


For those that are aware of this, a WorldCat page has an option to enter your location,


Once updated, below the location will will be a list nearby libraries with the book and distance to the library.
Sometimes it will also show the publishers page, online bookstores that sell the book and if the book is out of print, used booksellers who have the book.


looks like a library at the university in Genoa Italy, around 700 miles away, is the closest library :slight_smile: