The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
Making fuzzy description logic more general
Fuzzy Sets and Systems
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy Sets and Systems
Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
On elementary equivalence in fuzzy predicate logics
Archive for Mathematical Logic
Hi-index | 0.00 |
In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with Δ, define Δ-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with Δ, and Δ-quasi-witnessed axioms are complete with respect to Δ-quasi-witnessed models.