Concepedia

A Categorical Equivalence for Product Algebras

Franco Montagna, Sara Ugolini

Studia Logica · 2014 · 14 citations · 15 references

DOI

Concepts

References

15

Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus

Daniele Mundici · Journal of Functional Analysis · 1986 · 703 citations

, , +7

Representation of Distributive Lattices by means of ordered Stone Spaces

H. A. Priestley · Bulletin of the London Mathematical Society · 1970 · 614 citations

, , +8

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations

, , +7

Algebraizable logics

W. J. Blok, Don Pigozzi · Memoirs of the American Mathematical Society · 1989 · 371 citations

Basic Fuzzy Logic is the logic of continuous t-norms and their residua

Roberto Cignoli, Francesc Esteva, Lluı́s Godo et al. · Soft Computing · 2000 · 313 citations

, , +5