03-XX |
|
|
Mathematical logic and foundations |
|
03Gxx |
|
Algebraic logic |
|
|
03G05 |
Logical aspects of Boolean algebras [See also 06Exx] |
|
|
03G10 |
Logical aspects of lattices and related structures [See also 06Bxx] |
|
|
03G12 |
Quantum logic [See also 06C15, 81P10] |
|
|
03G15 |
Cylindric and polyadic algebras; relation algebras |
|
|
03G20 |
Logical aspects of Ćukasiewicz and Post algebras [See also 06D25, 06D30] |
|
|
03G25 |
Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35] |
|
|
03G27 |
Abstract algebraic logic |
|
|
03G30 |
Categorical logic, topoi [See also 18B25, 18C05, 18C10] |
|
|
03G99 |
None of the above, but in this section |