( en | de | ru )

 

Disambiguation of "Ojeda-Aciego, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Implicates and Reduction Techniques for Temporal Logics.

, , and . JELIA, volume 1489 of Lecture Notes in Computer Science, page 309-323. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Manuel Valentino Lima Ojeda

Práxedes Ojeda Suárez

Flavio Ojeda-Schwencke

Pedro Armando Ojeda May

Julio Eduardo Ojeda Salcedo

 

Other publications of authors with the same name

Implicates and reduction techniques for temporal logics., , and . Ann. Math. Artif. Intell., 27 (1-4): 3-23 (1999)A multimodal logic for closeness., , and . J. Appl. Non Class. Logics, 27 (3-4): 225-237 (2017)Revising the link between L-Chu correspondences and completely lattice L-ordered sets., and . Ann. Math. Artif. Intell., 72 (1-2): 91-113 (2014)Similarities between powersets of terms., , , , and . Fuzzy Sets Syst., 144 (1): 213-225 (2004)Fuzzy logic programming via multilattices., , and . Fuzzy Sets Syst., 158 (6): 674-688 (2007)Towards relational fuzzy adjunctions., , and . FUZZ-IEEE, page 1-5. IEEE, (2017)Concept-Forming Operators on Multilattices., , and . ICFCA, volume 7880 of Lecture Notes in Computer Science, page 203-215. Springer, (2013)A flexible logic-based approach to closeness using order of magnitude qualitative reasoning., , and . Logic Journal of the IGPL, 28 (1): 121-133 (2020)A logic framework for reasoning with movement based on fuzzy qualitative representation., , and . Fuzzy Sets Syst., (2014)Formal Independence Analysis., , , , and . IPMU (1), volume 853 of Communications in Computer and Information Science, page 596-608. Springer, (2018)