Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Pagnan, Ruggero"'
Autor:
Pagnan, Ruggero
We describe the construction of the slice fibration of a given one.
Externí odkaz:
http://arxiv.org/abs/2403.02672
Autor:
Pagnan, Ruggero
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 3 (August 31, 2018) lmcs:3669
We introduce ologisms. They generate from ologs by extending their logical expressivity, from the possibility of considering constraints of equational nature only to the possibility of considering constraints of syllogistic nature, in addition. This
Externí odkaz:
http://arxiv.org/abs/1701.05408
Autor:
Pagnan, Ruggero
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is p
Externí odkaz:
http://arxiv.org/abs/1302.7111
Autor:
Pagnan, Ruggero
Publikováno v:
Notre Dame J. Formal Logic 58, no. 2 (2017), 179-204
As far as we know no notion of concreteness for fibrations exists. We introduce such a notion and discuss some basic results about it.
Externí odkaz:
http://arxiv.org/abs/1105.4710
Autor:
Pagnan, Ruggero
We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose conclusion follows by calculation. Moreover, by pointing out the existing
Externí odkaz:
http://arxiv.org/abs/1002.1868
Autor:
Pagnan, Ruggero
A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.
Externí odkaz:
http://arxiv.org/abs/1001.1707
Autor:
Pagnan, Ruggero
Publikováno v:
Journal of Logic, Language, and Information, 2012 Jul 01. 21(3), 347-364.
Externí odkaz:
https://www.jstor.org/stable/41653689
Autor:
Pagnan, Ruggero1 pagnan@dima.unige.it
Publikováno v:
Archive for Mathematical Logic. Nov2018, Vol. 57 Issue 7/8, p917-938. 22p.
Autor:
Pagnan, Ruggero
We introduce ologisms. They generate from ologs by extending their logical expressivity, from the possibility of considering constraints of equational nature only to the possibility of considering constraints of syllogistic nature, in addition. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d62ab6f19d24b1e48704f96348f93b8
https://doi.org/10.23638/lmcs-14(3:12)2018
https://doi.org/10.23638/lmcs-14(3:12)2018