Logic/General logic/Classical propositional logic

Subject Classification

AMS: Mathematical logic and foundations / General logic / Classical propositional logic

2024

Compactness Theorem for Propositional Logic and Combinatorial Applications

by Fabián Fernando Serran Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón

Aug 19

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