A normal form which preserves tautologies and contradictions in a class of fuzzy logics

DOI10.1016/J.JALGOR.2007.04.003zbMath1127.03018OpenAlexW2002973847MaRDI QIDQ5429560

Benjamín René Callejas Bedregal

Publication date: 30 November 2007

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2007.04.003

zbMATH Keywords

fuzzy logicnormal formresolution principle0-contradictions1-tautologiesDe Morgan systems

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Related Items (6)

On the Boolean-like Law I(x, I(y, x)) = 1 ⋮ A study of (T,N)-implications and its use to construct a new class of fuzzy subsethood measure ⋮ On a new contrapositivisation technique for fuzzy implications constructed from quasi-overlap and quasi-grouping functions ⋮ On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) ⋮ An application of classical logic's laws in formulas of fuzzy implications ⋮ Fuzzy Implication Classes Satisfying a Boolean-Like Law

This page was built for publication: A normal form which preserves tautologies and contradictions in a class of fuzzy logics