A Formalization of the Exponential Blowup in the Transformations between CNF and DNF
by Leon Raffael Schulz, Martin Desharnais-Schäfer and Jan Johannsen
by Leon Raffael Schulz, Martin Desharnais-Schäfer and Jan Johannsen
Logic/General logic/Classical propositional logic
Subject Classification
AMS: Mathematical logic and foundations / General logic / Classical propositional logic
2026
by Leon Raffael Schulz, Martin Desharnais-Schäfer and Jan Johannsen
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