Search Results

    ArticlesSee all articles results »

    From journals and magazines

    1. A Propositional Cirquent Calculus for Computability Logic

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1JS8NAGB1cLr24VNG6MQfxoqPJZJKZgVIooVWkSN0OnkJmCS0UkaYe-u-dJWktiNBzJiH55kvel5n3vQfAJQ-wVkEskZnvAhHFAmRV15DQkWIGHxVnrjmZPX7g5xfWT6umsLJmu9dbku5L_avZjRGODKYg80uCI0Q3wXZsN4ZMFr8-9ZbEDuqsSQOOY2TAKKxaZf6-xiocre6FOojp74JscXOWX33r-SV-pWGFeF0rOK77HHtgp6o-Ydenyz7Y0J9Na9xckTya4GhQrV-W8AoOFpLLZRM0hrXpwfwA3Hdhe9QZWocFz_nKJ-27UQem46llZs_s0TSf2KXF0h0wpTH0BhJeF3wOrcmzPATv_d5b-oAqSwYkcZjMEGGCUKxNGUOs0hcNbT1UGKCVERGSWMTFiRKBYpgLkxyF4DkulKAxzcNIyegYwDDXghAVY00l0SRhKjFnh3mgQy4F4S1wXU9J9uUlN7KluLINXmaCl7ngZbQFbuowZ9XrV_4z_GS94aegge1MOf7KGdiaTb_1ufeNuHBZ9wNimNJM

      by Japaridze, Giorgi

      Journal Of Logic, Language, And Information, Volume 33, Issue 4, pp. 363 - 389

      Journal Article : Full Text Online

      View Article PDF

    2. Fixed-point Elimination in the Intuitionistic Propositional Calculus

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1bS8MwFA6bT_rgZQrOG0FE9CEsTZo2gTEYxTLFgcoe9MWRW-lgzOHm8Oeb9Abiiy-ltAcKJ0m_k5Nzvg-AK4GJNZhp5MY7Q6HhGHnWNaQsNdzhoxG8aE7mD2_k-YWnSQvAuhcmdxFn9e_396igcwk5a4M2j3zJXvCaNKcEDnqL00xGhFsonJVNsS7CZz1KmQvkxS-0aedFspRU4JHug90q6oPDcpgOQMsuOmCvVlSA1QLrgJ1xw6K6OgTv6ezbGrT8mC3W0M4L_S3vRzhbQGcG7x1eFBVXBdky7OeDJ695UFZhuc8lcu6Te6t-Lx_AmzrdDTdliuz2CEzSu0kyQpUeAtJEkDWKBbMRUybQBGuiDI0zEkuWKUkjFWjKJKYyszjjmioqKVEBy0JqPV-McJvRYwADaVUYGkZsrEMbRtxE2uGYxDYQWoWiC65rf011RRLutSrm07KBmU0rx3YBbAyXJS_GX5NL5_DmreexHg0fp_5ZPaqb4OQ_Rqdgm_htLg4cZJyBrfXnlz0v1RsuihnhrsNk_AO16LJF

      by Gouveia, Maria João; Santocanale, Luigi and Ghilardi, Silvio

      Acm Transactions On Computational Logic, Volume 21, Issue 1, pp. 1 - 37

      Journal Article : Full Text Online

      View Article PDF

    3. The higher dimensional propositional calculus

      http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ3LS8NAEMaH6qkefFTxLYuIt6XZ7GazgVIoxVKkgoqCnkr2EWMRKbYK-tc7u0nq1Vuy5JQvuzMZZn4fwEUWxc5GiaGod0GFVRH11DWqHbcK46PNVBhOVtfP8d29Gg1bQJpZmBIzzvrs99cUE1guZZqtwZqSvmWPPQ3_5h5VMFX11DGKoY-toIy8O3t9medv3dlP7liYXitDoZTXgWO0DZt1xkcGlUQ70HLvHdhq3BRIvbk6sD-pS4cLckkmK9rxogMbNyu2Kt61bxv3ge9dECgzKUOvBrEe1F9BNkiv7M-9_0HVkYULKIUv9C163bK_B4-jq4fhmNZGCNTEabSkOmE2lVba3CiV68Ip7TlyEVexcanFjwGTosQWRWHwBwY3mTZORFpmiZPc5YofAGG500LYJHapEU5IZaXBCJZHjmVGi-wQzvEVTecV42LqqdPjwWTq1xoNvtjRfx46hnbsTXJDqeIE1pcfn-608lo4C_r9AuVol8c

      by Ledda, Antonio; Paoli, Francesco; Curien, Pierre-Louis; Bucciarelli, Antonio and Salibra, Antonino

      Logic Journal Of The Igpl.

      Journal Article : Full Text Online

    See all 2,117 Articles results

    Back to results navigation

    Books & MediaSee all books & media results »

    Books, music, movies and more

    1. R-Calculus, IV : propositional logic

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

      Wei Li and Yuefei Sui.

      Book : View Online

      cover thumbnail

    2. Classical propositional operators : an exercise in the foundations of logic

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

      by Krister Segerberg.

      Book

      This item is currently Available Perkins & Bostock Library, QA9.3 .S43 1982 

    3. Propositional and Predicate Calculus: A Model of Argument

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

      by Derek Goldrei.

      Book : View Online

      cover thumbnail

    See all 210 Books & Media results

    Back to results navigation

    Our Website

    Guides, policies, news more

    No website results found for Propositional calculus

    Try another search »

    Try another search »

    Manuscript Collections

    Find books, manuscripts, and archive materials from Rubenstein Library

    Collection GuidesSee all collection guides results »

    Detailed inventories of archival collections

    1. Function Algebra and Propositional Calculus, 1962

      https://archives.lib.duke.edu/catalog/mengerkarl_aspace_ref654_erf

      Includes draft and three copies with comments

      In: Karl Menger papers, 1872-2000 » Writings and Research, 1921-1983 » Essays and Articles

    2. Substitutive Function Algebra and the Calculus of Propositions, undated

      https://archives.lib.duke.edu/catalog/mengerkarl_aspace_ref743_ofn

      Includes copies with comments and draft

      In: Karl Menger papers, 1872-2000 » Writings and Research, 1921-1983 » Essays and Articles

    3. A Group in the Substitutive Algebra of the Calculus of Propositions, 1962

      https://archives.lib.duke.edu/catalog/mengerkarl_aspace_ref652_oyp

      Includes draft and copy with comments

      In: Karl Menger papers, 1872-2000 » Writings and Research, 1921-1983 » Essays and Articles

    See results from 1 Collection Guides

    Back to results navigation

    Archival MaterialsSee all archival materials results »

    Manuscripts and archival materials

    1. Planning under uncertainty via stochastic satisfiability

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

      by Stephen Michael Majercik.

      Archival and manuscript material, Book

      Check Holdings for this item's availability University Archives, Library Service Center

    See all 1 Archival Materials results

    Back to results navigation

    Some materials and descriptions may include offensive content. More info

    More Search Options

    Need help? Ask a Librarian!