Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Fiorentini, Camillo"'
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.
Autor:
Fiorentini, Camillo, Ferrari, Mauro
The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula property. Here we apply this method to derive the unprovability of a goal
Externí odkaz:
http://arxiv.org/abs/1804.06689
All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly ω-Complete
Autor:
Fiorentini, Camillo
Publikováno v:
The Journal of Symbolic Logic, 2000 Dec 01. 65(4), 1576-1604.
Externí odkaz:
https://www.jstor.org/stable/2695065
Autor:
Ferrari, Mauro, Fiorentini, Camillo
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2003 Feb 01. 73(1), 21-49.
Externí odkaz:
https://www.jstor.org/stable/20016485
Autor:
Ferrari, Mauro1 mauro.ferrari@uninsubria.it, Fiorentini, Camillo2 camillo.fiorentini@unimi.it, Momigliano, Alberto2 alberto.momigliano@unimi.it
Publikováno v:
Fundamenta Informaticae. 2018, Vol. 161 Issue 1-2, p1-7. 7p.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1996 Oct 01. 57(2/3), 373-408.
Externí odkaz:
https://www.jstor.org/stable/20015882
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.
Autor:
Ferrari, Mauro1 mauro.ferrari@uninsubria.it, Fiorentini, Camillo2 fiorentini@di.unimi.it, Fiorino, Guido3 guido.fiorino@unimib.it
Publikováno v:
Fundamenta Informaticae. 2017, Vol. 150 Issue 1, p119-142. 24p.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 30 March 2006 153(1):55-75
Publikováno v:
In Electronic Notes in Theoretical Computer Science 30 March 2006 153(1):23-33