ในตรรกศาสตร์ทางคณิตศาสตร์ความหมายเชิงพีชคณิตเป็นความหมายเชิงรูปธรรมที่อิงตามพีชคณิตซึ่งศึกษาเป็นส่วนหนึ่งของตรรกศาสตร์เชิงพีชคณิตตัวอย่างเช่นตรรกศาสตร์เชิงโมดอล S4 มีลักษณะเฉพาะด้วยกลุ่มของพีชคณิตบูลีนเชิง ทอพอโล ยี นั่นคือ พีชคณิตบูลีนที่มีตัวดำเนินการภายในตรรกศาสตร์เชิงโมดอลอื่นๆ มีลักษณะเฉพาะด้วยพีชคณิตต่างๆ ที่มีตัวดำเนินการ กลุ่มของพีชคณิตบูลีนเป็นตัวกำหนดตรรกศาสตร์เชิงประพจน์แบบคลาสสิกและกลุ่มของพีชคณิตเฮย์ติง เป็นตัว กำหนดตรรกศาสตร์เชิง สัญชาตญาณเชิงประพจน์ พีชคณิต MVเป็นความหมายเชิงพีชคณิตของตรรกศาสตร์ลูคาซิวิช

• ความหมายเชิงพีชคณิต (วิทยาการคอมพิวเตอร์)
• พีชคณิตลินเดนบอม-ทาร์สกี

• โจเซฟ มาเรีย ฟอนต์; รามอน จันซานา (1996) ความหมายเชิงพีชคณิตทั่วไปสำหรับตรรกศาสตร์เชิงประโยค สปริงเกอร์-แวร์แลกไอเอสบีเอ็น 9783540616993.(ตีพิมพ์ครั้งที่ 2 โดยASLในปี 2009) สามารถเข้าถึงได้ฟรีที่Project Euclid
• WJ Blok; Don Pigozzi (1989). ตรรกศาสตร์ที่แปลงเป็นพีชคณิตได้ . สมาคมคณิตศาสตร์อเมริกัน. ISBN 0821824597.
• ยานุสซ์ เชลาคอฟสกี้ (2001) ตรรกวิทยาเชิงพีชคณิต . สปริงเกอร์. ไอเอสบีเอ็น 9780792369400.
• J. Michael Dunn; Gary M. Hardegree (2001). วิธีการทางพีชคณิตในตรรกศาสตร์เชิงปรัชญา . สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด. ISBN 9780198531920.บทนำที่ดีสำหรับผู้อ่านที่มีความรู้พื้นฐานเกี่ยวกับตรรกศาสตร์ที่ไม่ใช่แบบคลาสสิก มาก่อน แต่ไม่มีพื้นฐานมากนักในทฤษฎีลำดับและ/หรือพีชคณิตสากลหนังสือเล่มนี้ครอบคลุมข้อกำหนดเบื้องต้นเหล่านี้อย่างละเอียด อย่างไรก็ตาม หนังสือเล่มนี้ถูกวิพากษ์วิจารณ์ว่ามีการนำเสนอผลลัพธ์ของตรรกศาสตร์พีชคณิตนามธรรมที่ไม่ดีและบางครั้งก็ไม่ถูกต้อง[1]

บทความเกี่ยวกับตรรกศาสตร์ทางคณิตศาสตร์นี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี