Logic/General logic

Subject Classification

AMS: Mathematical logic and foundations / General logic

2023

A Sound and Complete Calculus for Probability Inequalities

by Matthew Doty

Feb 20

Synthetic Completeness

by Asta Halkjær From

Jan 09

2022

Automation of Boolos' Curious Inference in Isabelle/HOL

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

Dec 05

Abstract Object Theory

by Daniel Kirchner

Nov 28

2021

Isabelle's Metalogic: Formalization and Proof Checker

by Tobias Nipkow and Simon Roßkopf

Apr 27

2020

Topological semantics for paraconsistent and paracomplete logics

by David Fuenmayor

Dec 17