Factor Varieties and Symbolic Computation


We propose an algebraization of classical and non-classical logics, based on factor varieties and decomposition operators. In particular, we provide a new method for determining whether a propositional formula is a tautology or a contradiction. This method can be automatized by defining a term rewriting system that enjoys confluence and strong normalization… (More)
DOI: 10.1145/2933575.2933600

1 Figure or Table


  • Presentations referencing similar topics