Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2024-2025

Thursday, January 16, 2025

Marian Călborean (University of Bucharest)

Trees, algorithms and logics II: Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic

Abstract:

Following the “Logic and software” 2024 course (Faculty of Philosophy, Bucharest), a theorem prover written in Rust was developed for most of the numerous logics (propositional and quantified) in Graham Priest’s 2008 An Introduction to Non Classical Logic: From if to is which use the tableaux method of proof (Beth 1955). Theoretical isues include soundness and completeness, efficiency and its measurement, the philosophical adequacy of the programmed notion of logic, the reducing of an alternative try-and-error procedure to SAT and a general framework of generating logics based on the calculator structure. This is joint work with Andrei Dobrescu.

Past Seminars