Ole Immanuel Franksen
- A.D. Falkoff and K.E. Iverson. The APL\360 terminal system, IBM Research Report RC-1922 (16 Oct. 1967) pp. 1--20.Google Scholar
- O.I. Franksen. Group representation of finite polyvalent logic---a case study using APL notation, IFAC VII World Congress, Helsinki (June 1978). Reprinted in A. Niemi: A link between science and applications of automatic control, Vol. 2, Pergamon Press, Oxford and New York (1979) pp. 875--887.Google ScholarCross Ref
- N.D. Thomson. The geometric primitives of APL, APL Quote Quad 9 4 Part 1 (June 1979) pp. 306--312. Google ScholarDigital Library
Recommendations
Intricate Axioms as Interaction Axioms
In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms .2 and .3, are considered to be key axioms by some epistemic logicians. We ...
Testing first-order logic axioms in program verification
TAP'10: Proceedings of the 4th international conference on Tests and proofsProgram verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms correctly (that is, formalizing properties of an intended mathematical ...
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the ...
Comments