8 citations · 36 across the 24 of their papers we have counts for
1 paper · 1 filter
Rob Arthan, Paulo Oliva
Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for co…