A. Vidal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The MaxSAT problem in the real-valued MV-algebra	2024-05-17	Paper
On the local consequence of modal Product logic: standard completeness and decidability	2023-06-24	Paper
Truth-Preservation under Fuzzy pp-Formulas International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2023-01-31	Paper
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS Journal of Symbolic Logic	2022-11-18	Paper
Probabilistic argumentation: an approach based on conditional probability. A preliminary report	2021-12-01	Paper
Axiomatizing logics of fuzzy preferences using graded modalities Fuzzy Sets and Systems	2021-06-24	Paper
On transitive modal many-valued logics Fuzzy Sets and Systems	2021-06-24	Paper
Axiomatization of crisp Gödel modal logic Studia Logica	2021-04-27	Paper
Undecidability and non-axiomatizability of modal many-valued logics (available as arXiv preprint)	2021-01-21	Paper
An Algebraic Approach to Valued Constraint Satisfaction	2020-05-26	Paper
Axiomatization of crisp Godel modal logic (available as arXiv preprint)	2020-04-30	Paper
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions Information Sciences	2020-01-07	Paper
New complexity results for Łukasiewicz logic Soft Computing	2019-08-12	Paper
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions Soft Computing	2018-02-23	Paper
The complexity of 3-valued Łukasiewicz rules Modeling Decisions for Artificial Intelligence	2017-06-20	Paper
On modal extensions of product fuzzy logic Journal Of Logic And Computation	2017-05-17	Paper
A control based on a knapsack problem for solar hydrogen production Optimal Control Applications & Methods	2016-10-18	Paper

Research outcomes over time

This page was built for person: A. Vidal