Search and Browse the MSC 2000

03-XX Mathematical logic and foundations → ZMATH

03Gxx Algebraic logic → ZMATH

03G05 Boolean algebras [See also 06Exx] → ZMATH

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

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

03G15 Cylindric and polyadic algebras; relation algebras → ZMATH

03G20 Lukasiewicz and Post algebras [See also 06D25, 06D30] → ZMATH

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

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

03G99 None of the above, but in this section → ZMATH