EasyChair Smart SlideDocs/Log in
Author: Mauro Ferrari

This page shows all presentations of this author published in EasyChair Smart Slide.

A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

Camillo Fiorentini and Mauro Ferrari

SAT-Based Proof Search in Intermediate Propositional Logics

SAT-Based Proof Search in Intermediate Propositional Logics

Mauro Ferrari and Camillo Fiorentini

A Forward Calculus for Countermodel Construction in IPL

A Forward Calculus for Countermodel Construction in IPL

Camillo Fiorentini and Mauro Ferrari

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair