Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Brogi Cosimo"'
Autor:
Amaddii Michele, Rosatti Giorgio, Zugliani Daniel, Weihermüller Lutz, Brogi Cosimo, Rahmati Mehdi, Fantozzi Pier Lorenzo, Disperati Leonardo
Publikováno v:
E3S Web of Conferences, Vol 415, p 05001 (2023)
The Alpi Apuane (Italy) are located a few kilometres from the coast of the Ligurian Sea, and they are characterized by peak elevations up to two thousand meters above sea level, as well as narrow, deeply incised valleys and steep slopes. Due to these
Externí odkaz:
https://doaj.org/article/79343e49916d41bd93ec4237a8819a63
Autor:
Maggesi, Marco, Brogi, Cosimo Perini
Publikováno v:
Journal of Automated Reasoning 67.3 (2023): 29
We introduce our implementation in HOL Light of the metatheory for G\"odel-L\"ob provability logic (GL), covering soundness and completeness w.r.t. possible world semantics and featuring a prototype of a theorem prover for GL itself. The strategy we
Externí odkaz:
http://arxiv.org/abs/2205.03659
Autor:
Brogi, Cosimo Perini
Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-reflection $A\rightarrow\Box A$. This way, belief is interpreted as a resu
Externí odkaz:
http://arxiv.org/abs/2103.01734
We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to implement term algebras over a signature without resorting to general indu
Externí odkaz:
http://arxiv.org/abs/2102.05952
Autor:
Maggesi, Marco, Brogi, Cosimo Perini
This work presents a formalized proof of modal completeness for G\"odel-L\"ob provability logic (GL) in the HOL Light theorem prover. We describe the code we developed, and discuss some details of our implementation, focusing on our choices in struct
Externí odkaz:
http://arxiv.org/abs/2102.05945
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating the invari
Externí odkaz:
http://arxiv.org/abs/2007.04840
Autor:
Brogi, Cosimo Perini
This paper introduces a natural deduction calculus for intuitionistic logic of belief $\mathsf{IEL}^{-}$ which is easily turned into a modal $\lambda$-calculus giving a computational semantics for deductions in $\mathsf{IEL}^{-}$. By using that inter
Externí odkaz:
http://arxiv.org/abs/2006.02417
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:
Rahi, Arash, Rahmati, Mehdi, Dari, Jacopo, Saltalippi, Carla, Brogi, Cosimo, Morbidelli, Renato
Publikováno v:
In Journal of Hydrology: Regional Studies December 2023 50
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.