MATH 5430

Mathematical Structures in Logic

New Mexico State University-Main Campus · UGRD · Fall 2026

1 section

Catalog description

Lattices, distributive lattices, Boolean algebras, Heyting algebras. Lindenbaum-Tarski algebras of classical and intuitionistic logics. Representation theorems. Modal logics and their algebraic counterparts. Kripke semantics. Goedel translation.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 14 hours ago

001

Availability not recently verified

Class #new_mexico_main_campus_2-MATH5430Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?