An alternative definition of quantifiers on four-valued Łukasiewicz algebras

DOI10.1007/s11787-017-0181-4zbMath1414.03014OpenAlexW2767219966WikidataQ58887366 ScholiaQ58887366MaRDI QIDQ1689561

Luciano J. González, Marina B. Lattanzi, Alejandro Petrovich

Publication date: 12 January 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0181-4

zbMATH Keywords

quantifiersfour-valued Łukasiewicz Moisil algebrasmonadic logics

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items

Demiquantifiers on \(\ell \)-groups

Cites Work

• Quantifiers on distributive lattices
• Lukasiewicz-Moisil algebras
• Metamathematics of fuzzy logic
• Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I
• Algebraic foundations of many-valued reasoning
• Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
• Lukasiewicz and Symmetrical Heyting Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item