Switch to: References

Add citations

You must login to add citations.
  1. Copies of Classical Logic in Intuitionistic Logic.Jaime Gaspar - 2014 - Philosophia Scientiae 18:5-11.
    La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives). Malgré cela, il existe des copies de la logique classique dans la logique intuitionniste. Toutes les copies habituellement trouvées dans la littérature sont les mêmes. Ce qui soulève la question suivante : la copie est-elle unique? Nous répondons négativement en présentant trois copies différentes.
    Download  
     
    Export citation  
     
    Bookmark