Amanda Vidal

Available identifiers

zbMath Open vidal.amandaMaRDI QIDQ1699737

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Amanda Vidal