Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Veloso, Sheila R. M."'
Publikováno v:
EPTCS 113, 2013, pp. 153-168
We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it re
Externí odkaz:
http://arxiv.org/abs/1303.7336
Publikováno v:
EPTCS 81, 2012, pp. 47-62
We introduce a graphical refutation calculus for relational inclusions: it reduces establishing a relational inclusion to establishing that a graph constructed from it has empty extension. This sound and complete calculus is conceptually simpler and
Externí odkaz:
http://arxiv.org/abs/1203.6159
Autor:
Veloso, Paulo A. S., de Freitas, Renata P., Viana, Petrucio, Benevides, Mario, Veloso, Sheila R. M.
Publikováno v:
Journal of Philosophical Logic, 2007 Oct 01. 36(5), 489-509.
Externí odkaz:
https://www.jstor.org/stable/30226902
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2004 Dec 01. 78(3), 459-477.
Externí odkaz:
https://www.jstor.org/stable/20016668
Autor:
de Freitas, Renata P., Viana, Jorge P., Benevides, Mario R. F., Veloso, Sheila R. M., Veloso, Paulo A. S.
Publikováno v:
Journal of Philosophical Logic, 2003 Aug 01. 32(4), 343-355.
Externí odkaz:
https://www.jstor.org/stable/30227272
Publikováno v:
Logic Journal of the IGPL. Oct2014, Vol. 22 Issue 5, p737-757. 21p.
Autor:
VELOSO, PAULO A. S.1 veloso@cos.ufrj.br, VELOSO, SHEILA R. M.2 sheila@cos.ufrj.br, VIANA, PETRUCIO3 petrucio@cos.ufrj.br, DE FREITAS, RENATA3 freitas@vm.uff.br, BENEVIDES, MARIO4 mario@cos.ufrj.br, DELGADO, CARLA5 carladelgado@gmail.com
Publikováno v:
Logic Journal of the IGPL. Jun2010, Vol. 18 Issue 3, p381-402. 22p.
Autor:
Veloso, Paulo A. S.1,2 veloso@cos.ufrj.br, Veloso, Sheila R. M.2 veloso@cos.ufrj.br
Publikováno v:
Logic Journal of the IGPL. Nov2005, Vol. 13 Issue 6, p717-728. 12p.
Autor:
Veloso, Sheila R. M.1 sheila@cos.ufrj.br, Veloso, Paulo A. S.1 veloso@cos.ufrj.br, de Freitas, Renata P.1 naborges@cos.ufrj.br
Publikováno v:
Logic Journal of the IGPL. Jan2005, Vol. 13 Issue 1, p29-46. 18p.
Autor:
Veloso, Paulo A. S.1 veloso@cos.ufrj.br, Veloso, Sheila R. M.1 sheila@cos.ufrj.br
Publikováno v:
Logic Journal of the IGPL. Nov2004, Vol. 12 Issue 6, p627-640. 14p.