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 2018Show all

2 papers · 1 filter

math.LO2018

Absorbing the Structural Rules in the Sequent Calculus with Additional Atomic Rules

Franco Parlamento, Flavio Previale

We show that if the structural rules are admissible over a set R of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in R to G3[mic]. Two…

math.LO2018

A simplified version of the Sequent Calculus G3[mic]^=

Franco Parlamento, Flavio Previale

We show that the Replacement Rule in the sequent calculus G3[mic]}^=, for first order languages with function symbols and equality, can be replaced by the simpler rule in which the…