Combinatorial results to measure the complexity of quantifier free formulas in algebraic systems
บทความในวารสาร
ผู้เขียน/บรรณาธิการ
กลุ่มสาขาการวิจัยเชิงกลยุทธ์
รายละเอียดสำหรับงานพิมพ์
รายชื่อผู้แต่ง: Kumduang, T.; Sriwongsa, S.; Wattanatripop, K.
ผู้เผยแพร่: World Scientific Publishing
ปีที่เผยแพร่ (ค.ศ.): 2025
วารสาร: Asian-European Journal of Mathematics (1793-5571)
หน้าแรก: 2550126
นอก: 1793-5571
eISSN: 1793-7183
ภาษา: English-Great Britain (EN-GB)
บทคัดย่อ
The complexity of terms of type τ of an algebra of type τ can be measured by several methods, including the depth of a term, the total number of variables or operation symbols that appear in a term and the length of a term. Generally, algebraic systems can be viewed as a generalization of algebras. To describe properties of algebraic systems of arbitrary types, quantifier free formulas of type (τ,τ′) induced by terms, relation symbols, and logical connectors are essential. In this paper, we aim to define various measurements of the complexity of quantifier free formulas and then formalize these measurements under different operations. Applications of these explicit formulas for some classes of mappings are provided. © 2025 World Scientific Publishing Company.
คำสำคัญ
ไม่พบข้อมูลที่เกี่ยวข้อง
ติดต่อสอบถามเพิ่มเติมได้ที่