A 0-1 Law in Mathematical Fuzzy Logic | 0 | 0.34 | 2022 |
Lindström theorems in graded model theory | 1 | 0.35 | 2021 |
A General Omitting Types Theorem in Mathematical Fuzzy Logic | 1 | 0.35 | 2021 |
Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday. | 0 | 0.34 | 2019 |
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. | 1 | 0.35 | 2019 |
Toward a general frame semantics for modal many-valued logics | 0 | 0.34 | 2019 |
Translating Classical Probability Logics Into Modal Fuzzy Logics | 0 | 0.34 | 2019 |
Implicational (semilinear) logics III: completeness properties. | 4 | 0.44 | 2018 |
Extension Properties and Subdirect Representation in Abstract Algebraic Logic. | 0 | 0.34 | 2018 |
Saturated Models in Mathematical Fuzzy Logic | 1 | 0.37 | 2018 |
Back-and-forth systems for fuzzy first-order models. | 3 | 0.41 | 2018 |
Neighborhood semantics for modal many-valued logics. | 1 | 0.36 | 2018 |
Fraïssé classes of graded relational structures. | 0 | 0.34 | 2018 |
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. | 2 | 0.39 | 2017 |
A Logical Framework For Graded Predicates | 3 | 0.48 | 2017 |
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics. | 4 | 0.48 | 2016 |
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. | 5 | 0.46 | 2016 |
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity | 3 | 0.44 | 2016 |
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. | 5 | 0.50 | 2015 |
A Note on Natural Extensions in Abstract Algebraic Logic | 3 | 0.52 | 2015 |
Paraconsistency properties in degree-preserving fuzzy logics | 6 | 0.52 | 2015 |
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. | 5 | 0.43 | 2014 |
Editorial. | 0 | 0.34 | 2014 |
The Proof by Cases Property and its Variants in Structural Consequence Relations | 15 | 0.92 | 2013 |
A logical approach to fuzzy truth hedges | 25 | 1.04 | 2013 |
Exploring Paraconsistency in Degree-Preserving Fuzzy Logics. | 2 | 0.46 | 2013 |
Two-layer modal logics: from fuzzy logics to a general framework. | 0 | 0.34 | 2013 |
NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES | 6 | 0.49 | 2013 |
Special Issue on Mathematical Fuzzy Logic | 0 | 0.34 | 2011 |
Fuzzy logics with truth hedges revisited. | 5 | 0.57 | 2011 |
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics | 12 | 0.69 | 2010 |
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics | 5 | 0.43 | 2010 |
On expansions of WNM t-norm based logics with truth-constants | 19 | 0.87 | 2010 |
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics | 16 | 0.87 | 2010 |
Implicational (semilinear) logics I: a new hierarchy | 21 | 1.13 | 2010 |
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies | 65 | 2.47 | 2009 |
An Abstract Approach To Fuzzy Logics: Implicational Semilinear Logics | 1 | 0.38 | 2009 |
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties | 27 | 1.00 | 2009 |
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic | 17 | 0.87 | 2008 |
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results | 38 | 1.66 | 2007 |
On n-contractive fuzzy logics | 19 | 1.00 | 2007 |
On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics | 2 | 0.39 | 2007 |
On Weakly Cancellative Fuzzy Logics | 24 | 1.85 | 2006 |
On Product Logic with Truth-constants | 24 | 1.37 | 2006 |
On Rational Weak Nilpotent Minimum Logics. | 18 | 1.34 | 2006 |
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops | 19 | 1.30 | 2005 |
On the scope of some formulas defining additive connectives in fuzzy logics | 4 | 0.54 | 2005 |
On varieties generated by Weak Nilpotent Minimum t-norms | 2 | 0.45 | 2005 |
On Some Varieties of MTL-algebras | 26 | 1.54 | 2005 |
On definability of maximum in left-continuous t-norms | 2 | 0.40 | 2003 |