Hyperintensional Meaning, Type Theory and Logical Deduction

            Investigator:
            prof. PhDr. BcA. Jiří Raclavský, Ph.D., Filozofická fakulta MU
        
            Co-Investigator:
            Mgr. Ivo Pezlar, Ph.D., Filosofický ústav AV ČR
        
            Provider:
            Czech Science Foundation
        
            Programme:
            Standard projects (1993–2030)
        
            Duration:
            2019–2021
        
            Link to the database