Fixpoint formulation of the completion problem of orthomodular lattices

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 1999-11-24

著者

• Miyazaki Yutaka

  School Of Information Science Japan Advanced Institute Of Science And Te

• Miyazaki Yutaka

  School Of Information Science Japan Advanced Institute Of Science And Tchnology

関連論文

• There exists a continuum of normal modal logics over KTB
• The predicate extension of the minimum orthologic
• Kripke-style semantics of orthomodular logics
• The super-amalgamation property of the variety of ortholattices
• Some properties of orthologics
• Fixpoint formulation of the completion problem of orthomodular lattices

スポンサーリンク