E-viri
Recenzirano
-
Jockwich Martinez, S.; Venturi, G.
Journal of philosophical logic, 06/2021, Letnik: 50, Številka: 3Journal Article
We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.
