Observational logic, constructor-based logic, and their duality.
scientific article; zbMATH DE number 1915471
scientific article