Postma, SW; McGee, A
(South African Institute of Computer Scientists and Information Technologists, 1990)
The οr.1-calculus is presented as an extension to the standard 1-calculus, and a r.1-term called the strong conditional is discussed. The strong conditional is shown to be non-monotomic, and an extension is made to the ...