Algebraic logic

Algebraic logic

Algebraic logic is a field of study that explores the relationship between logics in a given language and structural closure operators over the set of formulas, equipped with a monoid action that represents substitutions. This relationship was first established by Blok and Pigozzi in 1989 and has been further developed by Font, Blok and Jónsson, and Font and Moraschini in more recent years. The correspondence between logics and closure operators is bijective, meaning that each logic in the language corresponds to a unique closure operator and vice versa.From: Logics of variable inclusion and the lattice of consequence relations [2020]

Similitude in electronic cooling

View Chapter

Purchase Book

Published in Kaveh Azar, in Electronic Cooling, 2020

Michael T. Boyle

Following the discussion in White (1979), example 5.5, the algebraic logic leading to the above included the representation of a, b, and c in terms of d. If we instead use Equations 4, 5, and 6 to write a, c, and d in terms of b we obtain FDρV2D2=f5(ρVDμ)

Logics of variable inclusion and the lattice of consequence relations

View Article

Journal Information

Published in Journal of Applied Non-Classical Logics, 2020

Michele Pra Baldi

For standard background on closure operators and abstract algebraic logic, we refer the reader respectively to Burris and Sankappanavar (2012), Bergmann (2008), Blok and Pigozzi (1989), Czelakowski (2001), and Font (2016). Unless stated otherwise, we work within a fixed but arbitrary algebraic language without constant symbols. We denote algebras by respectively with universes

Explore chapters and articles related to this topic

Similitude in electronic cooling

Logics of variable inclusion and the lattice of consequence relations