Publication:4836220
From MaRDI portal
zbMath0830.03011MaRDI QIDQ4836220
Publication date: 14 June 1995
MV-algebras; Łukasiewicz logic; Farey partitions; geometric proof of completeness of infinite-valued calculus of Łukasiewicz with one variable; Schauder hats
03B50: Many-valued logic
Related Items
Sequent calculus and data fusion, Geometrical methods in Wajsberg hoops, Many-valued logic and mixed integer programming