Residuated fuzzy logics with an involutive negation
From MaRDI portal
Publication:1976881
DOI10.1007/s001530050006zbMath0965.03035OpenAlexW2018957484MaRDI QIDQ1976881
Lluís Godo, Petr Hájek, Francesc Esteva, Mirko Navara
Publication date: 14 December 2000
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050006
Related Items
Formalising PFSQL queries using ŁΠ fuzzy logic, \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, Monoidal t-norm based logic: Towards a logic for left-continuous t-norms, A new axiomatization for involutive monoidal t-norm-based logic, Standard algebras for fuzzy propositional calculi, Systems of ordinal fuzzy logic with application to preference modelling, Possibilistic conditioning framed in fuzzy logics, Paraconsistency properties in degree-preserving fuzzy logics, The universal group of a Heyting effect algebra, T-norm-based logics with an independent involutive negation, New Algebras and Logic from a Category of Rough Sets, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Adjoint negations, more than residuated negations, A fuzzy logic system based on Schweizer-Sklar t-norm, Proof theory for locally finite many-valued logics: semi-projective logics, Logical connectives on lattice effect algebras, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, Mathematical Fuzzy Logics, On implicative closure operators in approximate reasoning., A note on axiomatizations of Pavelka-style complete fuzzy logics, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA, On Conjectures in t-Norm Based Fuzzy Logics, Simple characterization of strict residuated lattices with an involutive negation, Unnamed Item, First-order satisfiability in Gödel logics: an NP-complete fragment, Interpolative Boolean Logic, Introduction, Compactness of fuzzy logics., Residuated fuzzy logics with additional connectives and their validation sets., Algebraic structures related to nilpotent minimum algebras and rough sets1, Distinguishing standard SBL-algebras with involutive negations by propositional formulas, Formal systems of fuzzy logic and their fragments, Fuzzy logics and fuzzy model theory, A unified approach to four important classes of unary operators, Expanding basic fuzzy logic with truth constants for component delimiters, An algebraic approach to linguistic hedges in Zadeh's fuzzy logic, On Fuzzy Theories with Crisp Sentences, What is mathematical fuzzy logic, The logic of tied implications. I: Properties, applications and representation, Fuzzy sets and formal logics, Logical characterizations of regular equivalence in weighted social networks, Unnamed Item, Triangular norm based predicate fuzzy logics, Fuzzy logics with an additional involutive negation, On the (fuzzy) logical content of CADIAG-2, Fuzzy description logics and \(t\)-norm based fuzzy logics, Issues on adjointness in multiple-valued logics, On a strong negation-based representation of modalities, Implication operators generating pairs of weak negations and their algebraic structure, Multi-adjoint lattices from adjoint triples with involutive negation, The limits of decidability in fuzzy description logics with general concept inclusions, Adaptive fuzzy logics for contextual hedge interpretation, A generic framework for adaptive vague logics, Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms, Exploring Extensions of Possibilistic Logic over Gödel Logic, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, A Note on Drastic Product Logic, Commutative integral bounded residuated lattices with an added involution, On theories and models in fuzzy predicate logics, Supersound many-valued logics and Dedekind-MacNeille completions, Fuzzy description logics with general t-norms and datatypes, Mathematical fuzzy logic as a tool for the treatment of vague information, A survey on different triangular norm-based fuzzy logics, Sufficient triangular norms in many-valued logics with standard negation, Partial algebras for Łukasiewicz logics and its extensions, A note to the definition of the Ł\(\Pi\)-algebras, Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency, On terminological issues regarding linguistic hedges, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, On a class of left-continuous \(\text t\)-norms, Complexity issues in Basic Logic, Two notions of compactness in Gödel logics
