Félix Bou

From MaRDI portal
(Redirected from Person:368470)



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!

PublicationDate of PublicationType
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems
2020-08-20Paper
Infinite-valued Łukasiewicz logic based on principal lattice filters2018-09-03Paper
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
Soft Computing
2018-02-23Paper
The closed fragment of IL is PSPACE hard
Electronic Notes in Theoretical Computer Science
2016-10-07Paper
On possibilistic modal logics defined over MTL-chains
Petr Hájek on Mathematical Fuzzy Logic
2015-10-06Paper
Bilattices with implications
Studia Logica
2013-09-23Paper
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation
2012-06-20Paper
Solution of some problems in the arithmetical complexity of first-order fuzzy logics2011-11-25Paper
Varieties of interlaced bilattices
Algebra Universalis
2011-11-23Paper
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal Of Logic And Computation
2011-11-10Paper
On the failure of the finite model property in some fuzzy description logics
Fuzzy Sets and Systems
2011-07-15Paper
The logic of distributive bilattices
Logic Journal of the IGPL
2011-03-07Paper
The logic of quasi-MV algebras
Journal Of Logic And Computation
2010-04-21Paper
Logics preserving degrees of truth from varieties of residuated lattices
Journal Of Logic And Computation
2010-01-14Paper
Exploring a syntactic notion of modal many-valued logics2009-02-03Paper
On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
Soft Computing
2008-01-16Paper
On two fragments with negation and without implication of the logic of residuated lattices
Archive for Mathematical Logic
2006-09-04Paper
Complexity of strict implication2006-08-15Paper
On weakening the Deduction Theorem and strengthening Modus Ponens
Mathematical Logic Quarterly
2004-08-06Paper
scientific article; zbMATH DE number 2059955 (Why is no real title available?)2004-03-17Paper


Research outcomes over time


This page was built for person: Félix Bou