A categorical equivalence for product algebras

DOI10.1007/S11225-014-9569-9zbMATH Open1373.03131OpenAlexW2012669725MaRDI QIDQ2352457FDOQ2352457

Franco Montagna, Sara Ugolini

Publication date: 2 July 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9569-9

zbMATH Keywords

many-valued logicsBoolean algebrasequivalencesproduct algebraslattice ordered groups

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35) Ordered groups (06F15) Logical aspects of Boolean algebras (03G05) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Residuated lattices. An algebraic glimpse at substructural logics
• Generalized MV-algebras
• Algebraizable logics
• Ordered groups with a conucleus
• Varieties of BL-algebras. I: General properties.
• Basic hoops: an algebraic study of continuous t-norms
• On the structure of hoops
• Hoops and Fuzzy Logic
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• A complete many-valued logic with product-conjunction

Cited In (11)

• Representation by triples of algebras with an MV-retract
• A categorical equivalence for Stonean residuated lattices
• A topological approach to MTL-algebras
• Franco Montagna's work on provability logic and many-valued logic
• On algebraic and more general categories whose split epimorphisms have underlying product projections
• Projectivity and unification in substructural logics of generalized rotations
• Towards a probability theory for product logic: states, integral representation and reasoning
• Products and duality in Waldhausen categories
• A new product of algebras and a type reduction theorem
• Obituary: Franco Montagna (1948--2015)
• A categorical definition of semidirect products

This page was built for publication: A categorical equivalence for product algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2352457)