Zobrazeno 1 - 10
of 100
pro vyhledávání: '"Cristina Sernadas"'
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 321-344 (2024)
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely c
Externí odkaz:
https://doaj.org/article/86ac79893bf249ad92fcbf0865ec8435
Publikováno v:
Mathematics, Vol 9, Iss 21, p 2671 (2021)
The essential structure of derivations is used as a tool for measuring the complexity of schema consequences in propositional-based logics. Our schema derivations allow the use of schema lemmas and this is reflected on the schema complexity. In parti
Externí odkaz:
https://doaj.org/article/19bd520978e34bb287db101bb426fa05
Publikováno v:
The Bulletin of Symbolic Logic. 27:39-66
Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5134f48938853b6c87c623a567f9e82
https://doi.org/10.1017/bsl.2021.17
https://doi.org/10.1017/bsl.2021.17
Publikováno v:
Logica Universalis. 14:209-242
The essential structure of proofs is proposed as the basis for a measure of complexity of formulas in FOL. The motivating idea was the recognition that distinct theorems can have the same derivation modulo some non essential details. Hence the diffic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d7b1360129fba98c6d67655b799be20
https://doi.org/10.1007/s11787-020-00251-4
https://doi.org/10.1007/s11787-020-00251-4
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Studies in Universal Logic ISBN: 9783030565534
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4509ef8dcce8d342c45727de464a0b70
https://doi.org/10.52843/cassyni.9mplgw
https://doi.org/10.52843/cassyni.9mplgw
Publikováno v:
Rasga, J, Sernadas, C, Karafili, E & Vigano, L 2021, ' Time-Stamped Claim Logic ', LOGIC JOURNAL-IGPL, vol. 29, no. 3 . https://doi.org/10.1093/jigpal/jzaa001
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4336271898c890b34565b53c70e8af54
https://kclpure.kcl.ac.uk/portal/en/publications/timestamped-claim-logic(739be492-c6dd-4b57-8018-47177119bf8d).html
https://kclpure.kcl.ac.uk/portal/en/publications/timestamped-claim-logic(739be492-c6dd-4b57-8018-47177119bf8d).html
Autor:
Cristina Sernadas, João Rasga
Publikováno v:
Studies in Universal Logic ISBN: 9783030565534
In this chapter, after some introductory concepts and results, we present sufficient conditions for a theory to be decidable. We start by considering theories with computable quantifier elimination and show that the decidability of such theories is e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03a66710824762fe06e8abeb03c9d51b
https://doi.org/10.1007/978-3-030-56554-1_3
https://doi.org/10.1007/978-3-030-56554-1_3
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Studies in Universal Logic ISBN: 9783030565534
The objective of the chapter is to provide a usable way to deduce logical consequences from a given theory. We adopt Gentzen calculus (other alternatives for reasoning with theories are, namely, natural deduction and tableaux, see [1, 2] and [3], res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::efad164d46bb0f420893b2890ee4af3d
https://doi.org/10.1007/978-3-030-56554-1_2
https://doi.org/10.1007/978-3-030-56554-1_2
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Studies in Universal Logic ISBN: 9783030565534
In this chapter, we start by providing an overview of basic first-order logic concepts and results, namely, signature, language, relevant classes of formulas and several technical maps and relations. Then, we review semantic concepts like interpretat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d84ffcaaeefedd602741e52769b46c6
https://doi.org/10.1007/978-3-030-56554-1_1
https://doi.org/10.1007/978-3-030-56554-1_1
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Studies in Universal Logic ISBN: 9783030565534
The objective of the chapter is to discuss decidability of combination of theories sharing only equality. We start by relating the decidability problem with the satisfiability problem in the context of a theory. This relationship is relevant since we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02bc7b8571316a55efa94774b190f696
https://doi.org/10.1007/978-3-030-56554-1_5
https://doi.org/10.1007/978-3-030-56554-1_5