EasyChair Smart SlideDocs/Log in
Conference: ARQNL 2018 (3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic

Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic

Daniel Mery and Didier Galmiche

Evidence Extraction from Parameterised Boolean Equation Systems

Evidence Extraction from Parameterised Boolean Equation Systems

Wieger Wesselink and Tim Willemse

A Simple Semi-automated Proof Assistant for First-order Modal Logics

A Simple Semi-automated Proof Assistant for First-order Modal Logics

Tomer Libal

Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms

Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms

Eugenio Orlandelli and Giovanna Corsi

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