Logic/General logic

Subject Classification

AMS: Mathematical logic and foundations / General logic

2024

Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)

by Xavier Parent and Christoph Benzmüller

Mar 09

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