03XX 


Mathematical logic and foundations 

03Gxx 

Algebraic logic 


03G05 
Boolean algebras [See also 06Exx] 


03G10 
Lattices and related structures [See also 06Bxx] 


03G12 
Quantum logic [See also 06C15, 81P10] 


03G15 
Cylindric and polyadic algebras; relation algebras 


03G20 
Ćukasiewicz and Post algebras [See also 06D25, 06D30] 


03G25 
Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35] 


03G30 
Categorical logic, topoi [See also 18B25, 18C05, 18C10] 


03G99 
None of the above, but in this section 