Zobrazeno 1 - 10
of 11
pro vyhledávání: '"José R. Arrazola Ramírez"'
Autor:
Mauricio Osorio Galindo, José R. Arrazola Ramírez, Miguel Pérez-Gaspar, Alejandro Hernández-Tello
Publikováno v:
Logic Journal of the IGPL. 28:1218-1232
In memoriam José Arrazola Ramírez (1962–2018) The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::030af96f5269406df32a2b90d976c147
https://doi.org/10.1093/jigpal/jzaa014
https://doi.org/10.1093/jigpal/jzaa014
Publikováno v:
Logica Universalis. 11:507-524
The authors of Beziau and Franceschetto (New directions in paraconsistent logic, vol 152, Springer, New Delhi, 2015) work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Beziau and F
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa3e6cf5eac47da9e1fe1edb67e61049
https://doi.org/10.1007/s11787-017-0182-3
https://doi.org/10.1007/s11787-017-0182-3
Publikováno v:
Journal of Applied Logic. 16:111-127
In [25] Priest developed the da Costa logic (daC); this is a paraconsistent logic which is also a co-intuitionistic logic that contains the logic C ω . Due to its interesting properties it has been studied by Castiglioni, Ertola and Ferguson, and so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6619434cc5724ba2eac3cd1453fb25b4
https://doi.org/10.1016/j.jal.2016.02.004
https://doi.org/10.1016/j.jal.2016.02.004
Autor:
José R. Arrazola Ramírez, Claudia Zepeda Cortés, Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Osorio Galindo
Publikováno v:
Logic Journal of IGPL.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5fd53a5436ed69660a9d80f4142938a
https://doi.org/10.1093/jigpal/jzw063
https://doi.org/10.1093/jigpal/jzw063
Publikováno v:
Research in Computing Science. 56:45-52
In any learning process, the learners arrive with a great deal of variables, such as their different learning styles, their affective states and their previous knowledge, among many others. In most cases, their previous knowledge is incomplete or it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7bf9e0ec0d7e2e393d00b0c2a18e21c
https://doi.org/10.13053/rcs-56-1-5
https://doi.org/10.13053/rcs-56-1-5
Publikováno v:
Journal of Logic and Computation. 18:913-940
Let P be an arbitrary theory and let X be any given logic. Let M be a set of atoms. We say that M is a X-stable model of P if M is a classical model of P and P∪¬M~ proves in logic X all atoms in M, this is denoted by P∪¬M~ ⊩xM. We prove that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::070a3a671b7bfa462d010b46f6527229
https://doi.org/10.1093/logcom/exn015
https://doi.org/10.1093/logcom/exn015
Autor:
Juan Antonio Navarro Pérez, Verónica Borja Macías, Mauricio Osorio Galindo, José R. Arrazola Ramírez
Publikováno v:
Journal of Logic and Computation. 16:867-890
We introduce the notion of X-stable models parametrized by a given logic X. Such notion is based on a construction that we call weak completions: a set of atoms M is an X-stable model of a theory T if M is a model of T, in the sense of classical logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::269bed8f27c6c5195bc7d819555a3011
https://doi.org/10.1093/logcom/exl013
https://doi.org/10.1093/logcom/exl013
Autor:
José R. Arrazola Ramírez, Mauricio Osorio Galindo, Verónica Borja Macías, Juan Antonio Navarro Pérez
Publikováno v:
Journal of Logic and Computation. 15:787-813
We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46dc4b5db5ae6260917d4d25ebea7d7d
https://doi.org/10.1093/logcom/exi042
https://doi.org/10.1093/logcom/exi042
Publikováno v:
MICAI (Special Sessions)
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. The first prover is for Classical Propositional Calculus (CPC), which is based on a constru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8369e64e3381687cb3bc4e3d73210bb4
https://doi.org/10.1109/micai.2014.42
https://doi.org/10.1109/micai.2014.42
Publikováno v:
Monatshefte f�r Mathematik. 129:25-30
Denote by \(\) the family of all real valued functions on a metric space \(\) which satisfy a Lipschitz condition on the compact (bounded) subsets of X. We prove that every homomorphism on \(\) is the evaluation at some point of X if and only if X is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e849fb5a7d55c8ed06b5fcb5df182ed7
https://doi.org/10.1007/s006050050003
https://doi.org/10.1007/s006050050003