2 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Franco Parlamento
We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial…