1 problem

0 votes0 replies1 view
The non-diversified completeness conjecture for the calculus S
Let $\mathbf{S}$ be the equational calculus whose axioms are the axioms of commutative monoids with respect to $\wedge$ and $\top$ , together with … and … Interpret formulae arithme…
Conjectureopencategorical-logic equational-logic relevant-categoriesarXiv posted 2 days ago

The non-diversified completeness conjecture for the calculus S