L
ogic/
G
eneral
L
ogic/
C
lassical
P
ropositional
L
ogic
Subject Classification
AMS:
Mathematical logic and foundations / General logic / Classical propositional logic
2023
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