2012年6月
Linearity and Negation
Journal of Applied Non-Classical Logics
- 巻
- 22
- 号
- 1–2
- 開始ページ
- 43
- 終了ページ
- 51
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1080/11663081.2012.682438
- 出版者・発行元
- Taylor & Francis
The logical structure derived from the algebra of generalised projection operators on a module is investigated. With the assumption of the operators being linear, the associated logic becomes Boolean, while without the assumption, the logic does not admit negation: the concept of linearity of projection operators on a module corresponds to that of negation in Boolean logic. The logic of nonlinear operators is formalised and its soundness and completeness results are proved.
- ID情報
-
- DOI : 10.1080/11663081.2012.682438
- ISSN : 1166-3081
- ISSN : 1958-5780
- SCOPUS ID : 84866027861