Search Results

    ArticlesSee all articles results »

    From journals and magazines

    1. A Version of Predicate Logic with Two Variables That has an Incompleteness Property

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5EL_XgowpaH8zBo6tJNokJlEIpDSIoVYuil2XbbMiphSQi_ffO5NEiesk9LDswmZn9vm9mAK58yvF-IBPhSzkTbhxYQruGfjyGIGOdWHHM_c7vwcOH8_wSRKO6KSxv1O4NJVlG6k2zm02-JyinCJ5J5QoKvDseE0Pkxa9P43X8dfywKnplKCRltLpV5v8z_hCgZV6J9kGtb8Si6ptKVFLBC7_U1s3YxraXP4C9uuTEYeUjh7BlFl3e1lwrO7qw-7ie3Zp3oTNpthusjuBziDWihssE--lgkpXMTmGQtzTP-7fpABnLxen3Et_o4c2tWDlOU11gqnPUC6QQxLp1rs4prOKE4f-sWB2DjMbT0b1oTFG1X-dqM-SY7VFkjyrtUY48AaS3mrkzNjObtqu9JAjtme9JPaeiyDLaO4XrNkf22n1-Bh2Hl_OWEMk5bBfZl7modjxclh7yAwX5uiM

      by Khaled, Mohamed

      Studia Logica, Volume 113, Issue 3, pp. 717 - 739

      Journal Article : Full Text Online

      View Article PDF

    2. AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC \(\mathbf (...)

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3paxNBFB96gOgH8QK1VeaDKcqyuEf2CJTKNrvb2uao7QZJCSyzm50mH5qISZRS-r_73uzsUauiCGGSfckeZH7z3m9m3kHIGxtsvO2aXLVNM1GbY1dTWTODgYdLkGPGtfEY450_u0dD49OpG7bX1u8VsTDClxnn5ws5VH4R5YDxqujfeFVUmPowlRvruL6k6f7gOIhh7hvtfIOerR1DpxcjcKdhhv-LF5ABYjD-9h8wU14UBPAZkAMtYAfav0KP11O8zkGwf-qJXur3Q3QPave7J50gCkShDpg-KqCQPR9-EQ7Oz4fYm5grMgoUUWFBaVht4K_QAiueJFxpOPvdbtRpOD7IsFz14uoS3lAOAo65AvDAF-e16rQZwVwF2eSnTVNF6O1qS0A6F69mSzYvpSthXOezi-_ZtFr4zV2TZxe8Ep5NhHTIZpO5NOdyNcSwKnew3we61Z1ZUMc7Fgala7lezeoyqffvGIZyABRa3qwRBiPPxnTHFskEVnhpUafeROuTlya7nff70DuLT_ww7nzsHa-TTQNJ2wbZ9A6OBn7BKmygcSKss3j4Yoce05__fIvbvMKQZCl6RB7KWQ71cmA9JmvZ7Al50C1TBC-ekqXXoyXEqIAYhVcdYhQgRiXEqIAY3Z3slSijAmW77yd7dPR2lGOMXiPCbkYVuuj1KEcWvRm9e0YGYRC1D1VZAkT9omvaUtVTGywg8DgzsZzMzoDfp2nCEotzmBfz1HRcntgalo9pJQ53mGPZHAxnwjgzMFPac0Kbmp45mY777XqTWdxt6YltmSwFqq5lzHpBtot_K5ZDcBGDZQLzhKslL__89Ra5X-Fwm2wsv66yV3llkdeyD38ATi6Gkw

      by She, Yanhong; Wang, Juntao; Wu, Hongwei and He, Pengfei

      The Review Of Symbolic Logic, Volume 18, Issue 1, pp. 213 - 239

      Journal Article : Full Text Online

    3. Axiomatic truth degrees of formula in MTL∀predicate logic system

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV3Pi9QwFA7iQbyIi4Krq-SwBz3USfO7sCysi4OIHpQB8VTS5tVZEXeZnQXxsOxBxYOiIngQYW-eFAUv4oh_jDh0_C98aesYT16kl7ZpKCQved-Xl3yPkGWNPl5bUSVaiCKR3rLEScCBF5YgvauY9-G88w17-Sa_dt3216NUX2FPWCsP3DZcj4EomEegbSGTUJrCecdLLTNvkNeBD7MvsvKITLXAQVoZx-synZlYCI0FRxfFi0KoM3KMHG2by_iEqLKpiYkNwvQ4Pih0JiLHqA2OjEiFxiIs0REQCDJ3ls3LeTiPrv48q1QYvObAQyGIC1hsvnqEwMWoJpdcEOdJMpmZQ2Q5UHBjVe92M4GcnxchDea8ESgNuW-a3AR_ux7R-dP-UXKkA8J0re2ABXLg_vAY2V27t7HZiMjS8WhnPKQebo0AtulmRQO63rnj6MZdenVw5fvjvZXh6taoiTONgTZT-EpvuEpbbeqzs48vZx-e_tybzL69qD9N6sl-W-vH5_fTh--mX5_Vrx_gTf380fTJq_rN_vTL23PHyaB_cbB-KekyRCQ-kyJRgICTCwPK6dR7mZa8ysAxhkYC6J3TwknpRZE6ZJlInaoSsFM4VoJKCW_ECUKRX4KBNERjU-lUhR8UWglXIpBj4NQiuRDaK99qxT_yIMfdvEAjzTsjzf9lpItk6Xdr590csZ1zkyqLIIKLk__jH6fI4dDN7f63JXIQuwlOtykuzjSD4xe_FAtE

      by Hui, Xiaojing; Wang, Bo and Lu, Xing

      Zhejiang Da Xue Xue Bao. Journal Of Zhejiang University. Sciences Edition. Li Xue Ban, Volume 49, Issue 5, pp. 521 - 526

      Journal Article : Full Text Online

    See all 10,268 Articles results

    Back to results navigation

    Books & MediaSee all books & media results »

    Books, music, movies and more

    1. Introduction to logic : predicate logic

      https://find.library.duke.edu/catalog/DUKE003911903

      Howard Pospesel ; with an appendix on metatheory by William G. Lycan.

      Book

      This item is currently Not Available Library Service Center, GX22059 

      cover thumbnail

    2. Switching theory : insight through predicate logic

      https://find.library.duke.edu/catalog/DUKE003271609

      Shimon P. Vingron.

      Book

      Check Holdings for this item's availability Perkins & Bostock Library, TK7868.S9 V56 2004 

      cover thumbnail

    3. Embedding first order predicate logic in fragments of intuitionistic logic

      https://find.library.duke.edu/catalog/DUKE001463367

      by M. H. Löb.

      Book

      This item is currently Available Library Service Center, 510.6 A528R, 75-08-75-16 c.1

    See all 743 Books & Media results

    Back to results navigation

    Our WebsiteSee all website results »

    Guides, policies, news more

    1. Duke Collaboratory for Classics Computing (DC3) - Page 16 of 20 - a collection of parts flying in lo

      https://blogs.library.duke.edu/dcthree/page/16/

      For SPARQL, this might be as easy as adding an id(subject, predicate, object) function that would return the URI identifying the given (...)

    2. The Trouble with Triples - Duke Collaboratory for Classics Computing (DC3)

      https://blogs.library.duke.edu/dcthree/2013/07/27/the-trouble-with-triples/

      For SPARQL, this might be as easy as adding an id(subject, predicate, object) function that would return the URI identifying the given (...)

    See all 2 website results

    Back to results navigation

    Manuscript Collections

    Find books, manuscripts, and archive materials from Rubenstein Library

    Collection Guides

    Detailed inventories of archival collections

    No Collection Guides results found for Predicate logic

    Try another search »

    Try another search »

    Archival Materials

    Manuscripts and archival materials

    No Archival Materials results found for Predicate logic

    Try another search »

    Try another search »

    Some materials and descriptions may include offensive content. More info

    More Search Options

    Need help? Ask a Librarian!