activity
20112024
most citedTruth-value semantics and functional extensions for classical logic of partial terms based on equality

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

math.LO2015

Contraction Elimination in Sequent Based Ground Equational Calculus

F. Parlamento, F. Previale

In "Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms" LNCS 7750,161-172(2013), we have shown that the cut rule is eliminable in two ground eq…