Switch to: References

Add citations

You must login to add citations.
  1. Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.
    We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A characterization of those categories whose internal logic is Hilbert's ε-calculus.Fabio Pasquali - 2019 - Annals of Pure and Applied Logic 170 (4):446-464.
    Download  
     
    Export citation  
     
    Bookmark