Franco Parlamento

According to our database, Franco Parlamento authored at least 16 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

A note on the Sequent Calculi.

Franco Parlamento, Flavio Previale

Rev. Symb. Log., 2022

2021

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality.

Franco Parlamento, Flavio Previale

Rev. Symb. Log., 2021

2020

Absorbing the structural rules in the sequent calculus with additional atomic rules.

Franco Parlamento, Flavio Previale

Arch. Math. Log., 2020

2017

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

Franco Parlamento, Flavio Previale

CoRR, 2017

2014

Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.

Franco Parlamento

Notre Dame J. Formal Log., 2014

2013

Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.

Franco Parlamento, Flavio Previale

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2008

Decidability of ∃^*∀∀-sentences in HF.

Dorella Bellè, Franco Parlamento

Notre Dame J. Formal Log., 2008

2006

Truth in V for ∃^*∀∀-sentences is decidable.

Dorella Bellè, Franco Parlamento

J. Symb. Log., 2006

2001

The Decidability of the ∀^*∃ Class and the Axiom of Foundation.

Dorella Bellè, Franco Parlamento

Notre Dame J. Formal Log., 2001

1996

Decidability of ∃^*∀-Sentences in Membership Theories.

Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti

Math. Log. Q., 1996

1995

Decidability and Completeness for Open Formulas of Membership Theories.

Dorella Bellè, Franco Parlamento

Notre Dame J. Formal Log., 1995

1993

A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.

Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti

J. Symb. Comput., 1993

1992

The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation.

Franco Parlamento, Alberto Policriti

Math. Log. Q., 1992

1991

Expressing Infinity Without Foundation.

Franco Parlamento, Alberto Policriti

J. Symb. Log., 1991

Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.

Franco Parlamento, Alberto Policriti

J. Autom. Reason., 1991

1990

Truth Tables for a Combinatorial Kernel of Set Theories.

Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti

Proceedings of the 9th European Conference on Artificial Intelligence, 1990