Logic

Subject Classification

ACM: Theory of computation~Logic

AMS: Mathematical logic and foundations

2024

Abstract Substitution

by Martin Desharnais

Sep 16

2022

Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

Dec 05