Truth-depressing hedges and BL-logic (Q853470): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Vilem Vychodil / rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniele Mundici / rank | |||
Property / author | |||
Property / author: Vilem Vychodil / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniele Mundici / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2006.03.022 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072054192 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4893133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5312888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy Closure Operators with Truth Stressers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On very true / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A HEDGE FOR GÖDEL FUZZY LOGIC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3426105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal operators on Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Storage Operators and Multiplicative Quantifiers in Many-valued Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Globalization of intuitionistic set theory / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:12, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Truth-depressing hedges and BL-logic |
scientific article |
Statements
Truth-depressing hedges and BL-logic (English)
0 references
15 November 2006
0 references
Basic logic was introduced by Hájek as the logic of continuous t-norms and their adjoint implications. BL-algebras are the algebras of basic logic. To capture the notion of ``slightly true'', in this paper propositional basic logic is extended by adding a suitable unary connective. In a sense this is dual to Hájek's connective for ``very true''. A complete axiomatization is given, and various examples are discussed.
0 references
basic logic
0 references
MV-algebra
0 references
t-norm
0 references
BL-algebra
0 references
hedges
0 references
fuzzy logic
0 references
axiomatization
0 references