Expanding Basic Fuzzy Logic with truth constants for component delimiters

Authors:
Zuzana Haniková
Affiliations:
Institute of Computer Science, Academy of Sciences of the Czech Republic, 182 07 Prague, Czech Republic
Venue:
Fuzzy Sets and Systems
Year:
2012

Citing 7
Cited 0

Storage Operators and Multiplicative Quantifiers in Many-valued Logics

Journal of Logic and Computation
On Product Logic with Truth-constants

Journal of Logic and Computation
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results

Fuzzy Sets and Systems
On triangular norms and uninorms definable in Ł Π12

International Journal of Approximate Reasoning
Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms

Journal of Logic and Computation
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Fuzzy Sets and Systems
On the independence of axioms in BL and MTL

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.20

Visualization

Abstract

In this paper we investigate the propositional logic of standard algebras for Hajek's Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and @P-components of the algebra. We start from a fixed standard BL-algebra; introduce new propositional constants; present a suitable set of axioms; investigate completeness results; and give some complexity results.