Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Parlamento, Franco"'
Autor:
Parlamento, Franco, Previale, Flavio
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi with rules fo
Externí odkaz:
http://arxiv.org/abs/2403.06887
Autor:
Parlamento, Franco, Previale, Flavio
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 applications to pure logic and to the sequent calculus with equality
Externí odkaz:
http://arxiv.org/abs/1810.11407
Autor:
Parlamento, Franco, Previale, Flavio
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 transformed formula is not repeated in the premiss.
Comment: 10
Comment: 10
Externí odkaz:
http://arxiv.org/abs/1810.11355
Autor:
Parlamento, Franco, Previale, Flavio
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 elimination property. Furthermore we discuss and improve the nonlength
Externí odkaz:
http://arxiv.org/abs/1705.00693
Autor:
Parlamento, Franco
Publikováno v:
Notre Dame J. Formal Logic 55, no. 3 (2014), 383-395
We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and partial selection functions, independently of any stri
Externí odkaz:
http://arxiv.org/abs/1112.6331
Publikováno v:
Proceedings of the American Mathematical Society, 1999 Mar 01. 127(3), 835-845.
Externí odkaz:
https://www.jstor.org/stable/119018
Autor:
Parlamento, Franco, Policriti, Alberto
Publikováno v:
Proceedings of the American Mathematical Society, 1997 Feb 01. 125(2), 587-594.
Externí odkaz:
https://www.jstor.org/stable/2161690
Autor:
Parlamento, Franco1 (AUTHOR) franco.parlamento@uniud.it, Previale, Flavio2 (AUTHOR)
Publikováno v:
Archive for Mathematical Logic. May2020, Vol. 59 Issue 3/4, p389-408. 20p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.