A. Vidal

Available identifiers

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	2023-01-31	Paper
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	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	2021-06-24	Paper
On transitive modal many-valued logics	2021-06-24	Paper
Axiomatization of crisp Gödel modal logic	2021-04-27	Paper
Undecidability and non-axiomatizability of modal many-valued logics	2021-01-21	Paper
An Algebraic Approach to Valued Constraint Satisfaction	2020-05-26	Paper
Axiomatization of crisp Godel modal logic	2020-04-30	Paper
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions	2020-01-07	Paper
New complexity results for Łukasiewicz logic	2019-08-12	Paper
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions	2018-02-23	Paper
The Complexity of 3-Valued Łukasiewicz Rules	2017-06-20	Paper
On modal extensions of Product fuzzy logic	2017-05-17	Paper
A control based on a knapsack problem for solar hydrogen production	2016-10-18	Paper

This page was built for person: A. Vidal