✦ LIBER ✦

Independence of the axiomatic system for MV-algebras

✍ Scribed by Miroslav Kolařík

Book ID: 119932456
Publisher: SP Versita
Year: 2013
Tongue: English
Weight: 102 KB
Volume: 63
Category: Article
ISSN: 0139-9918
DOI: 10.2478/s12175-012-0076-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rank-axiomatic characterizations of inde

Rank-axiomatic characterizations of independence systems

✍ Reinhardt Euler 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 728 KB

An Equational Axiomatization for the Dis

An Equational Axiomatization for the Disjoint System of Post Algebras

✍ Epstein, G. 📂 Article 📅 1973 🏛 IEEE 🌐 English ⚖ 473 KB

The Stable Topology for MV -algebras

✍ Belluce, L.P.; Sessa, S. 📂 Article 📅 2000 🏛 Taylor and Francis Group 🌐 English ⚖ 160 KB

Independence of axiom system of basic al

Independence of axiom system of basic algebras

✍ Ivan Chajda; Miroslav Kolařík 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 93 KB

Fuzzy structures of hyper-MV-deductive s

Fuzzy structures of hyper-MV-deductive systems in hyper-MV-algebras

✍ Young Bae Jun; Min Su Kang; Hee Sik Kim 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 273 KB

The notions of fuzzy hyper-MV-subalgebras, (weak, strong) fuzzy hyper-MV-deductive systems and previously weak fuzzy hyper-MV-deductive systems are introduced, and their relations/properties are investigated.

New types of hyper MV-deductive systems

New types of hyper MV-deductive systems in hyper MV-algebras

✍ Young Bae Jun; Min Su Kang; Hee Sik Kim 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

## Abstract The notions of a (weak) hyper MV‐deductive system, a (⊆, ⊆; ⊆)‐hyper MV‐deductive system, a (≪, ⊆; ⊆)‐ hyper MV‐deductive system, a (≪, ≪; ⊆)‐hyper MV‐deductive system, a (≪, ≪; ≪)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relatio