Results 51 to 60 of about 121 (62)

Short Proofs for the Determinant Identities

SIAM Journal on Computing, 2015
Iddo Tzameret
exaly  

Counting proofs in propositional logic

Archive for Mathematical Logic, 2009
Marek Zaionc
exaly  

Logical Diagrams, Visualization Criteria, and Boolean Algebras

Studies in Universal Logic, 2022
exaly  

Characterizing Propositional Proofs as Noncommutative Formulas

SIAM Journal on Computing, 2018
Iddo Tzameret
exaly  

Space Complexity in Polynomial Calculus

SIAM Journal on Computing, 2015
Yuval Filmus, Massimo Lauria, Jakob Nordström   +2 more
exaly  

Peirce's Truth-functional Analysis and the Origin of the Truth Table

History and Philosophy of Logic, 2012
exaly  

Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)

Springer Proceedings in Mathematics and Statistics, 2016
Jean-Yves Beziau
exaly  

Propositional team logics

Annals of Pure and Applied Logic, 2017
Fan Yang, Jouko Väänänen
exaly  

Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes

Discrete Applied Mathematics, 2005
exaly  

Maximum Satisfiability Problem

Roberto Battiti
exaly