E-LIB Suche - Ergebnisse für: Peréz-Gaspar, Miguel - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

A fuzzy description logic based IoT framework: Formal verif..:

Pérez-Gaspar, Miguel ; Gomez, Javier ; Bárcenas, Everardo..
PLOS ONE. 19 (2024) 3 - p. e0296655 , 2024

Link: https://doi.org/10.1371/..

2

Paraconsistent and Paracomplete Logics Based on k-Cyclic Mo..:

Figallo-Orellano, Aldo ; Peréz-Gaspar, Miguel ; Ramírez-Contreras, Juan Manuel
Studia Logica. 110 (2022) 5 - p. 1291-1325 , 2022

Link: https://doi.org/10.1007/..

3

Fidel Semantics for Propositional and First-Order Version o..:

Figallo Orellano, Aldo ; Pérez-Gaspar, Miguel ; Bárcenas, Everardo
Logic and Logical Philosophy. , 2022

Link: https://doi.org/10.12775..

4

Axiomatisations of the Genuine Three-Valued Paraconsistent ..:

Hernández-Tello, Alejandro ; Pérez-Gaspar, Miguel ; Borja Macías, Verónica
Logica Universalis. 15 (2021) 1 - p. 87-121 , 2021

Link: https://doi.org/10.1007/..

5

A family of genuine and non-algebraisable C-systems:

Osorio, Mauricio ; Figallo-Orellano, Aldo ; Pérez-Gaspar, Miguel
Journal of Applied Non-Classical Logics. 31 (2021) 1 - p. 56-84 , 2021

Link: https://doi.org/10.1080/..

6

An axiomatic approach to CG′3 logic:

Pérez-Gaspar, Miguel ; Hernández-Tello, Alejandro ; Arrazola Ramírez, José.
Logic Journal of the IGPL. 28 (2020) 6 - p. 1218-1232 , 2020

Link: https://doi.org/10.1093/..

7

Kripke-type Semantics for CG3′:

Borja Macías, Verónica ; Pérez-Gaspar, Miguel
Electronic Notes in Theoretical Computer Science. 328 (2016) - p. 17-29 , 2016

Link: https://doi.org/10.1016/..

8

Lógica difusa y redes inalámbricas:

Pérez Gaspar, Miguel ; Gómez Castellano, Javier ; Bárcenas Patiño, Everardo.
TIES, Revista de Tecnología e Innovación en Educación Superior. , 2022

Link: https://doi.org/10.22201..

9

Fidel Semantics for Propositional and First-Order Version o..:

Figallo Orellano, Aldo ; Pérez-Gaspar, Miguel ; Bárcenas, Everardo
https://apcz.umk.pl/LLP/article/view/33090/32348. , 2022

Link: https://apcz.umk.pl/LLP/..

10

Fidel Semantics for Propositional and First-Order Version o..:

Figallo Orellano, Aldo ; Pérez-Gaspar, Miguel ; Bárcenas, Everardo
https://apcz.umk.pl/LLP/article/view/33090/32348. , 2022

Link: https://apcz.umk.pl/LLP/..

11

On the Paraconsistent Logic CG'3:

Pérez-Gaspar, Miguel ; Borja Macias, Veronica ; Bárcenas, Everardo
10.13053/cys-25-2-3363. , 2021

Link: http://www.scielo.org.mx..

12

Sentential logics based on k-cyclic modal pseudocomplemente..:

Figallo-Orellano, Aldo ; Perez-Gaspar, Miguel ; Ramirez-Contreras, Juan Manuel
http://arxiv.org/abs/2108.01566. , 2021

Link: http://arxiv.org/abs/210..

13

On the Algebrization of the Multi-valued Logics CG′3 and G′:

Pérez-Gaspar, Miguel ; Bárcenas, Everardo
10.13053/cys-25-4-4046. , 2021

Link: http://www.scielo.org.mx..

14

Untargeted metabolomics of fresh and heat treatment Tiger n..:

Rubert, Josep ; Monforte, Andoni ; Hurkova, Kamila...
Journal of Chromatography A. 1514 (2017) - p. 80-87 , 2017

Link: https://doi.org/10.1016/..

15

Semánticas Algebraicas y de kripke para lógicas intermedias:

MIGUEL PEREZ GASPAR
https://hdl.handle.net/20.500.12371/6477. , 2014

Link: https://hdl.handle.net/2..

1-15