R-Calculus: A Logical Inference System for Scientific Discovery.

Wei Li

Browse the full TAMC paper archive.