Affiliation:
1. Bang & Olufsen, DK - 7600 Struer, Denmark
Abstract
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference methods. This is the basis for a logic programming tool used for preliminary product design at the Danish company Bang&Olufsen.
Publisher
Association for Computing Machinery (ACM)
Reference4 articles.
1. An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
2. Franksen O.I.: "Are Data-Structures Geometrical Objects?". Syst. Anal. Model. Simul. Vol. 1 1984. - Part I : " Invoking the Erlanger Program" No. 2 pp. 113-130. - Part II : "Invariant Forms in APL and beyond" No.2 pp. 131-150. - Part III: "Appendix A: Linear Differential Operators" No.3 pp. 249-258. - Part IV: "Appendix B: Logic Invariants by Finite Truthtables" No.4 pp.339-350. Franksen O.I.: "Are Data-Structures Geometrical Objects?". Syst. Anal. Model. Simul. Vol. 1 1984. - Part I : " Invoking the Erlanger Program" No. 2 pp. 113-130. - Part II : "Invariant Forms in APL and beyond" No.2 pp. 131-150. - Part III: "Appendix A: Linear Differential Operators" No.3 pp. 249-258. - Part IV: "Appendix B: Logic Invariants by Finite Truthtables" No.4 pp.339-350.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献