Skip to content
No results
  • Contact
  • Curriculum Vitae
  • Publications and presentations
  • Attività didattica
  • Research interests
Web pages of Luca Spada
  • Contact
  • Curriculum Vitae
  • Publications and presentations
  • Attività didattica
  • Research interests
Web pages of Luca Spada

Preprint download

LΠ logic with fixed points

LΠ logic with fixed points

Search in this site

No results

Corsi 2024/25

Logica Matematica

Fondamenti della Matematica

Istituzioni di Logica

Algebra Universale e Teoria delle Categorie

adjunction Algebraic geometry Amsterdam Birkhoff subdirect representation Bratteli-Elliott Isomorphism Criterion Calculus categorical duality categoricalequivalence Category Chang’s completeness theorem compact Hausdorff spaces conference Corso Course Courses Covering space directed colimit duality European project Filtered colimit finitely generated object finitely presentable object First Order Many-Valued Logic Free algebra Fundamental group Galois connection Gel'fand transform Hilbert Nullstellensatz ILLC Lifts Many-Valued Logic Mathematical Logic MV-algebras News piecewise linear maps Pontryagin duality Projective MV-algebra rational polyhedra Residuated lattices Retractions Stone duality Teaching Tychonoff cube Unification Universal cover variety of algebras. Z-maps Łukasiewicz logic

Copyright © Luca Spada