A Guide to Ivan Orlov's "The calculus of the compatibility of propositions"

Abstract

Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a guide that outlines Orlov's life and work, analyses the content of the paper, and relates it to work of his contemporaries and successors.