Login / Signup

A short postulate-system for ortholattices.

Boleslaw Sobocinski
Published in: Notre Dame J. Formal Log. (1975)
Keyphrases
  • belief revision
  • real time