Distinguishing standard SBL‐algebras with involutive negations by propositional formulas | Zendy

Haniková Zuzana | Zendy; Savický Petr | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

Distinguishing standard SBL‐algebras with involutive negations by propositional formulas

Author(s) -

Haniková Zuzana,

Savický Petr

Publication year - 2008

Publication title -

mathematical logic quarterly

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.473

H-Index - 28

eISSN - 1521-3870

pISSN - 0942-5616

DOI - 10.1002/malq.200610057

Subject(s) - negation , mathematics , propositional calculus , norm (philosophy) , pure mathematics , propositional variable , t norm fuzzy logics , characterization (materials science) , algebra over a field , fuzzy logic , discrete mathematics , fuzzy set , epistemology , intermediate logic , linguistics , fuzzy number , computer science , philosophy , artificial intelligence , materials science , nanotechnology , description logic

Propositional fuzzy logics given by a combination of a continuous SBL t‐norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t‐norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research