Basis logic for application in physics and its intuitionistic alternative
scientific article; zbMATH DE number 5887857