Three-valued logics with infinitely many extensions
Format:
Paperback
En stock
0.15 kg
Sí
Nuevo
Amazon
USA
- Here, we study a family of three-valued logics. We prove that any of them has a strictly increasing countable chain of finitary extensions, in which case its join is beyond it, and so is not finitely axiomatizable. In contrast to this, we show that any finitely-valued logic has just finitely many axiomatic extensions. Likewise, any two-valued logic /``with theorems'' is proved to have no proper consistent axiomatic/ extension.
IMPORT EASILY
By purchasing this product you can deduct VAT with your RUT number