Franco Parlamento - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2022

A note on the Sequent CalculiFranco Parlamento, Flavio Previale. rsl, 15(2):537-551, 2022. [doi]

2021

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with EqualityFranco Parlamento, Flavio Previale. rsl, 14(4):813-837, 2021. [doi]

2020

Absorbing the structural rules in the sequent calculus with additional atomic rulesFranco Parlamento, Flavio Previale. AML, 59(3):389-408, 2020. [doi]

2014

Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on EqualityFranco Parlamento. ndjfl, 55(3):383-395, 2014. [doi]

2013

Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial TermsFranco Parlamento, Flavio Previale. icla 2013: 161-172 [doi]

2008

Decidability of THERE EXISTS :::*::: FOR ALL FOR ALL -sentences in HFDorella Bellè, Franco Parlamento. ndjfl, 49(1):55-64, 2008. [doi]

2006

Truth in V for THERE EXISTS :::*::: FOR ALL FOR ALL -sentences is decidableDorella Bellè, Franco Parlamento. JSYML, 71(4):1200-1222, 2006. [doi]

2001

The Decidability of the Class and the Axiom of FoundationDorella Bellè, Franco Parlamento. ndjfl, 42(1):41-53, 2001.

1996

Decidability of exist:::*:::forall-Sentences in Membership TheoriesEugenio G. Omodeo, Franco Parlamento, Alberto Policriti. mlq, 42:41-58, 1996.

1995

Decidability and Completeness for Open Formulas of Membership TheoriesDorella Bellè, Franco Parlamento. ndjfl, 36(2):304-318, 1995.

1993

A Derived Algorithm for Evaluating /varepsilon-Expressions over Abstract SetsEugenio G. Omodeo, Franco Parlamento, Alberto Policriti. JSC, 15(5/6):673-704, 1993.

1992

The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of FoundationFranco Parlamento, Alberto Policriti. mlq, 38(1):143-156, 1992. [doi]

1991

Expressing Infinity Without FoundationFranco Parlamento, Alberto Policriti. JSYML, 56(4):1230-1235, 1991.

Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and DecidabilityFranco Parlamento, Alberto Policriti. JAR, 7(2):271-284, 1991.

1990

Truth Tables for a Combinatorial Kernel of Set TheoriesEugenio G. Omodeo, Franco Parlamento, Alberto Policriti. ecai 1990: 485-490

Sign in or sign up to see more results.

runs on WebDSL