collaborators

1 paper

math.LO2016

Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics

Richard DeJonghe, Kimberly Frey, Tom Imbo

It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value alge…