Logic/General logic

Subject Classification

AMS: Mathematical logic and foundations / General logic

2023

Soundness of the Q0 proof system for higher-order logic

by Anders Schlichtkrull

Nov 20

Metatheory of Q0

by Javier Díaz

Nov 04

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