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 2017 · math.LOShow all

1 paper · 2 filters

math.LO2017

The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality

Franco Parlamento, Flavio Previale

We show how Leibnitz.s indiscernibility principle and Gentzen's original work lead to extensions of the sequent calculus to first order logic with equality and investigate the cut…