Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Martín Diéguez"'
Autor:
Enriquez-Navascues, J.M., Elorza-Echaniz, G., Die Trill, J., Ocaña Jimenez, J., Moro-Valdezate, D., Leon-Espinoza, C., Primo-Romaguera, V., Sancho-Muriel, J., Pascual Migueláñez, I., Saavedra, J., Penín de Oliveira, P., Meceira Quintian, F., Carmona Agúndez, M., Gallarín Salamanca, I.M., Lopez de los Reyes, R., Vives Rodriguez, E., Navarro-Sáncheze, A., Soto-Darias, I., Monjero Ares, I., Torres García, M.I., Aldrey Cao, I., Barreiro Dominguez, E.M., Diz Jueguen, S., Bernal Sprekelsen, J.C., Ivorra García-Moncó, P., Vigorita, V., Nogueira Sixto, M., Martín Dieguez, C., López Bañeres, M., Pérez Pérez, T., Añón Iranzo, E., Vázquez-Bouzán, R., Sánchez Espinel, E., Alberdi San Roman, I., Trujillo Barbadillo, A., Martínez-García, R., Menárguez Pina, F.J., Anula Fernández, R., Mayol Martínez, J.A., Romero de Diego, A., de Andres-Asenjo, B., Ibáñez Cánovas, N., Abrisqueta Carrión, J., Estaire Gómez, M., Lorente Poyatos, R.H., Julià-Bergkvist, D., Gómez-Romeu, N., Romero-Simó, M., Mauri-Barberá, F., Arroyo, A., Alcaide-Quiros, M.J., Hernandis Villalba, J.V., Espinosa Soria, J., Parés, D., Corral, J., Jiménez-Gómez, L.M., Zorrilla Ortúzar, J., Abellán Morcillo, I., Bernabé Peñalver, A., Parra Baños, P.A., Muñoz Camarena, J.M., Abellán Garay, L., Milagros Carrasco, M., Rufas Acín, M.P., Ambrona Zafra, D., Padín Álvarez, M.H., Lora Cumplido, P., Fernández-Cepedal, L., García-González, J.M., Pérez Viejo, E., Huerga Álvarez, D., Valle Rubio, A., Jiménez Carneros, V., Arencibia-Pérez, B., Roque-Castellano, C., Ríos Blanco, R., Espina Pérez, B., Caro Tarrago, A., Saeta Campo, R., Illan Riquelme, A., Bermejo Marcos, E., Rodríguez Sánchez, A., Cagigas Fernández, C., Cristóbal Poch, L., Duque Mallen, M.V., Santero Ramírez, M.P., Aguilar Martínez, M.M., Moreno Navas, A., Gallardo Valverde, J.M., Choolani Bhojwani, E., Veleda Belanche, S., Díaz-Maag, C.R., Rodríguez-García, R., Alberca Páramo, A., Pineda Navarro, N., Ferrer Inaebnit, E., Alonso Hernández, N., Ferrer-Márquez, M., Gómez-Carmona, Z., Ramos Fernandez, M., Sanchiz Cardenas, E., Valdes-Hernandez, J., Pérez Sánchez, A., Labalde Martínez, M., García Borda, F.J., Fernández Arias, S., Fernández Hevia, M., Elosua González, T., Jimenez Alvarez, L., Sánchez-Guillén, L., Blanco-Antona, F., Soler-Silva, Á., Millán, M.
Publikováno v:
In Cirugia Espanola July 2024 102(7):355-363
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.
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.
Publikováno v:
The Journal of Symbolic Logic. 87:995-1022
The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$ , recently shown to be decidable by Fernández-Duque. In th
Autor:
Martín Diéguez, David Fernández-Duque
Publikováno v:
Computational Intelligence and Mathematics for Tackling Complex Problems 4 ISBN: 9783031077067
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae386f597d804a24256bf305b9e36774
https://doi.org/10.1007/978-3-031-07707-4_1
https://doi.org/10.1007/978-3-031-07707-4_1
Publikováno v:
Theory and Practice of Logic Programming. 21:459-492
The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible to extend
Publikováno v:
Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62088b86eb13c559e89d0f29e4949dcc
https://doi.org/10.1007/978-3-031-15707-3_10
https://doi.org/10.1007/978-3-031-15707-3_10
Publikováno v:
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022
Logic, Language, Information, and Computation ISBN: 9783031152979
Logic, Language, Information, and Computation ISBN: 9783031152979
We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f7c6dbb13daca36e1be97f8bfa9ee10
Publikováno v:
LICS
36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021)
36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy
36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021)
36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy
LICS 2021 co-located with ITP 2021; International audience; The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this pape
Autor:
Uribe Quintana, Natalia, Aguado Pérez, Marta, Minguez Pérez, Miguel, Ortiz Tarín, Inmaculada, Millán Scheiding, Mónica, Carmen Martín Diéguez, M., Ruiz del Castillo, Juan
Publikováno v:
In Cirugía Española (English Edition) October 2009 86(4):224-229