Affiliations: Department of Philosophy and Institute of Critical Thinking and Writing, Chonbuk National University, Colleges of Humanities and Social Science Blvd., Jeonju, Korea
Correspondence:
[*]
Corresponding author. Eunsuk Yang, Department of Philosophy and Institute of Critical Thinking and Writing, Chonbuk National University, Rm 417, Colleges of Humanities and Social Science Blvd., Jeonju 54896, Korea. E-mail: [email protected].
Abstract: This paper investigates a non-associative generalization, more exactly, a weak t-associative (wta) generalization, of continuous t-norm-based logics. First, the wta-uninorm logic WAtBL and its axiomatic extensions WAtŁ, WAtΠ, and WAtG are introduced as [0, e]-continuous wta-uninorm-based analogues of the most famous continuous t-norm-based logics, BL (Basic fuzzy logic), Ł (Łukasiewicz logic), Π (Product logic), and G (Gödel logic), respectively. Their corresponding algebraic structures and algebraic completeness results are considered. Next, completeness with respect to the algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems by a construction in the style of Jenei–Montagna.
