Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Agata Ciabattoni"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 43-57 (2018)
We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law.
Externí odkaz:
https://doaj.org/article/e20dba0a2c2a4c089b90832ccfd13017
Publikováno v:
Journal of World Philosophies, Vol 2, Iss 1, Pp 47-66 (2017)
The Mīmāṃsā school of Indian philosophy elaborated complex ways of interpreting the prescriptive portions of the Vedic sacred texts. The present article is the result of the collaboration of a group of scholars of logic, computer science, Europ
Externí odkaz:
https://doaj.org/article/04dd70ebb3c4483e8e07ae3cd7a60d1b
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)
G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other. We neve
Externí odkaz:
https://doaj.org/article/9edcb3f60c4b492086133bf1edba5e86
Publikováno v:
Journal of Logic, Language and Information. 32:19-62
Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::570b168e4a1591bbfd2639bb6b55320f
https://doi.org/10.1007/s10849-022-09375-w
https://doi.org/10.1007/s10849-022-09375-w
Publikováno v:
PRIMA 2022: Principles and Practice of Multi-Agent Systems ISBN: 9783031212024
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f18fa0c19c3effb8fdf20f2ea844c1f
https://doi.org/10.1007/978-3-031-21203-1_5
https://doi.org/10.1007/978-3-031-21203-1_5
Publikováno v:
PRIMA 2022: Principles and Practice of Multi-Agent Systems ISBN: 9783031212024
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0531a4bd200ba42cc4779688d82d018f
https://doi.org/10.1007/978-3-031-21203-1_4
https://doi.org/10.1007/978-3-031-21203-1_4
Publikováno v:
Ethics and Information Technology. 24
Recent years have yielded many discussions on how to endow autonomous agents with the ability to make ethical decisions, and the need for explicit ethical reasoning and transparency is a persistent theme in this literature. We present a modular and t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8f73ccaf70826b715829e656c4cc07e
https://doi.org/10.1007/s10676-022-09665-8
https://doi.org/10.1007/s10676-022-09665-8
Publikováno v:
Journal of Symbolic Logic, 86(2), 635-668. ASSN SYMBOLIC LOGIC INC
A sequent calculus with the subformula property has long been recognised as a highly favourable starting point for the proof theoretic investigation of a logic. However, most logics of interest cannot be presented using a sequent calculus with the su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e23e1f0c1602da251d901ad3e1f5aec
https://doi.org/10.1017/jsl.2021.42
https://doi.org/10.1017/jsl.2021.42
Publikováno v:
Artificial Intelligence and Law. 29:351-394
Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7a4f2205450cba79a8319513344debf
https://doi.org/10.1007/s10506-020-09278-w
https://doi.org/10.1007/s10506-020-09278-w
Publikováno v:
Theoretical Computer Science. 813:375-409
We provide a proofs-as-concurrent-programs interpretation for a large class of intermediate logics that can be formalized by cut-free hypersequent calculi. Obtained by adding classical disjunctive tautologies to intuitionistic logic, these logics are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6204b1db2871a802c3bed6be556bb402
https://doi.org/10.1016/j.tcs.2020.01.022
https://doi.org/10.1016/j.tcs.2020.01.022