Anyone know of a predicate logic implimentation in c++? I'm looking for something fairly simple and lean, that has decent syntax for interacting with the database from within c++ code.

This is a preview. Log in through your library . Journal Information Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; ...

The Master in Logic at the University of Gothenburg offers a variety of courses with a core focus on Mathematical Logic, providing a solid foundation for the study of Logic. Additional courses in ...

This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...