Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
  • Subjects
  • 03-XX Mathematical logic and foundations
  • 03Gxx Algebraic logic
  • 03G15 Cylindric and polyadic algebras; relation algebras

03Gxx Algebraic logic

  • 03G05 Boolean algebras
  • 03G10 Lattices and related structures
  • 03G12 Quantum logic
  • 03G15 Cylindric and polyadic algebras; relation algebras
  • 03G20 Łukasiewicz and Post algebras
  • 03G25 Other algebras related to logic
  • 03G27 Abstract algebraic logic
  • 03G30 Categorical logic, topoi
  • 03G99 None of the above, but in this section
  • Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 2 of 2

Showing per page

Finitary axiomatizations of the true relational equations

Roger Maddux (1993)

Banach Center Publications

Foundations for stepwise refinement of program specifications via cylindric algebra theory

I. Néméti (1982)

Diagrammes

Currently displaying 1 – 2 of 2

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7