Zobrazeno 1 - 10
of 27
pro vyhledávání: '"V. Michele Abrusci"'
Autor:
V. Michele Abrusci
Publikováno v:
Le Matematiche, Vol 55, Iss 3, Pp 127-142 (2000)
Il ruolo esercitato da David Hilbert nel campo dei fondamenti della matematica è insigne.
Externí odkaz:
https://doaj.org/article/98f157aa9c8f4b768a624bc8f1b645a3
Autor:
Roberto Maieli, V. Michele Abrusci
Publikováno v:
Mathematical Structures in Computer Science. 29:733-762
This paper presents a simple and intuitive syntax for proof nets of the multiplicative cyclic fragment (McyLL) of linear logic (LL). The main technical achievement of this work is to propose a correctness criterion that allows for sequentialization (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08faf0a504a1fbcc0857bfcea7e4aba2
https://doi.org/10.1017/s0960129518000300
https://doi.org/10.1017/s0960129518000300
Autor:
V. Michele Abrusci, Claudia Casadio
Publikováno v:
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ISBN: 9783030665449
This work is devoted to the relations between Lambek’s Syntactic Calculus (LC) and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: (i) the geometrical representation of the laws of LC by means of proof-net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::031ba87885d1f74bc2424fedc55c1274
https://doi.org/10.1007/978-3-030-66545-6_1
https://doi.org/10.1007/978-3-030-66545-6_1
Autor:
Claudia Casadio, V. Michele Abrusci
We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci (On residuation, 2014) it is shown that the basic properties known as Residuation laws can be characterized in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7081eeab6e6c36e4039148a5fa8ca7a
http://www.kluweronline.com/issn/0039-3215
http://www.kluweronline.com/issn/0039-3215
Autor:
V. Michele Abrusci
Publikováno v:
Perspectives on Science. 22:115-132
In this paper I will consider the axioms for propositional logic which were presented by Hilbert in his conferences during the year 1922, and those which were presented by Hilbert and Bernays in the book Grundlagen der Mathematik, I (1934). I will de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::798977350697a04f712fec5c93cdf5da
https://doi.org/10.1162/posc_a_00121
https://doi.org/10.1162/posc_a_00121
Publikováno v:
Journal of Applied Logic. 12:67-74
The paper contains a short summary – oriented by a logical point of view – of a joint work on Formal Ontologies. We shall show how Formal Ontologies correspond to Coherent Spaces, and operations on Formal Ontologies correspond to operations on co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b5abd6a6fec2088bfaa60a6d50150f1
https://doi.org/10.1016/j.jal.2013.07.003
https://doi.org/10.1016/j.jal.2013.07.003
Publikováno v:
Logic journal of the IGPL
21 (2013): 1017–1027. doi:10.1093/jigpal/jzt008
info:cnr-pdr/source/autori:Abrusci, V. Michele; Casadio, Claudia; Medaglia, Maria Teresa; Porcaro, Camillo/titolo:Universal vs. Particular reasoning: A study with neuroimaging techniques/doi:10.1093%2Fjigpal%2Fjzt008/rivista:Logic journal of the IGPL (Print)/anno:2013/pagina_da:1017/pagina_a:1027/intervallo_pagine:1017–1027/volume:21
21 (2013): 1017–1027. doi:10.1093/jigpal/jzt008
info:cnr-pdr/source/autori:Abrusci, V. Michele; Casadio, Claudia; Medaglia, Maria Teresa; Porcaro, Camillo/titolo:Universal vs. Particular reasoning: A study with neuroimaging techniques/doi:10.1093%2Fjigpal%2Fjzt008/rivista:Logic journal of the IGPL (Print)/anno:2013/pagina_da:1017/pagina_a:1027/intervallo_pagine:1017–1027/volume:21
The article investigates some general properties of universal vs. particular propositions occuring in syllogistic arguments, in order to explore the kind of interaction played by these two forms of reasoning inside cognition. The theoretical framewor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0872a1a32333ce2d2a712fcdffbff99
https://doi.org/10.1093/jigpal/jzt008
https://doi.org/10.1093/jigpal/jzt008
Autor:
V. Michele Abrusci
Publikováno v:
Studia Logica. 71:277-314
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::497dd8b06954748cb6d75015c3664198
https://doi.org/10.1023/a:1020560613199
https://doi.org/10.1023/a:1020560613199
Autor:
V. Michele Abrusci
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642547881
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4198c2e9343899596444cd29e0ccbdc7
https://doi.org/10.1007/978-3-642-54789-8_2
https://doi.org/10.1007/978-3-642-54789-8_2
Autor:
V. Michele Abrusci, Paul Ruet
Publikováno v:
Annals of Pure and Applied Logic. 101:29-64
We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e532ba778dee77ff92c3282e6f9a790a
https://doi.org/10.1016/s0168-0072(99)00014-7
https://doi.org/10.1016/s0168-0072(99)00014-7