On February 27, 2025 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
Title: 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 issues 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.
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.