Franco Parlamento

Available identifiers

zbMath Open parlamento.francoMaRDI QIDQ810493

List of research outcomes

Publication	Date of Publication	Type
Kanger-Wang-type sequent calculi with equality	2024-11-25	Paper
A NOTE ON THE SEQUENT CALCULI	2022-05-25	Paper
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY	2022-02-07	Paper
Absorbing the structural rules in the sequent calculus with additional atomic rules	2020-04-01	Paper
A simplified version of the Sequent Calculus G3[mic]^=	2018-10-26	Paper
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality	2017-05-01	Paper
Contraction Elimination in Sequent Based Ground Equational Calculus	2015-12-30	Paper
Henkin’s Completeness Proof and Glivenko’s Theorem	2015-11-27	Paper
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms	2015-01-06	Paper
Truth-value semantics and functional extensions for classical logic of partial terms based on equality	2014-09-02	Paper
Decidability of \(\exists^*\forall\forall\)-sentences in HF	2010-01-13	Paper
Truth In V for ∃*∀∀-Sentences is Decidable	2007-01-19	Paper
The decidability of the \(\forall ^*\exists\) class and the axiom of foundation	2003-10-13	Paper
Finite families with few symmetric differences	1999-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4896519	1997-03-19	Paper
Witnessing differences without redundancies	1997-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4893143	1996-11-07	Paper
Decidability and completeness for open formulas of membership theories	1996-05-13	Paper
Decidability of ∀*∀‐Sentences in Membership Theories	1996-05-02	Paper
Undecidability results for restricted universally quantified formulae of set theory	1994-10-17	Paper
A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets	1994-09-26	Paper
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION	1994-07-11	Paper
Expressing infinity without foundation	1992-06-27	Paper
Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability	1991-01-01	Paper
Note on "The Logically Simplest Form of the Infinity Axiom"	1990-01-01	Paper
Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory	1988-01-01	Paper
The Logically Simplest Form of the Infinity Axiom	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718712	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3744153	1984-01-01	Paper
Binumerability in a sequence of theories	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3050416	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190630	1978-01-01	Paper
Admissibility of the Structural Rules in the Sequent Calculus with Equality	N/A	Paper

Research outcomes over time

This page was built for person: Franco Parlamento