L
ogic/
G
eneral logic/
C
lassical propositional logic
Subject Classification
AMS:
Mathematical logic and foundations / General logic / Classical propositional logic
2024
Verified QBF Solving
by
Axel Bergström
and
Tjark Weber
Mar 06
2023
MLSS Decision Procedure
by
Lukas Stevens
May 05
A Sound and Complete Calculus for Probability Inequalities
by
Matthew Doty
Feb 20
Suppes' Theorem For Probability Logic
by
Matthew Doty
Jan 22
2022
Class-based Classical Propositional Logic
by
Matthew Doty
Dec 15
Soundness and Completeness of Implicational Logic
by
Asta Halkjær From
and
Jørgen Villadsen
Sep 13
2010
Free Boolean Algebra
by
Brian Huffman
Mar 29