Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Some elementary results in intutionistic model theory.Wim Veldman & Frank Waaldijk - 1996 - Journal of Symbolic Logic 61 (3):745-767.
    We establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The continuum and first-order intuitionistic logic.D. van Dalen - 1992 - Journal of Symbolic Logic 57 (4):1417-1424.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • (1 other version)Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.
    This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6b65f85844-pflvk uwo