registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

A_Olympias logic [9 articles]

Neue Publikationen in A_Olympias Bibliothek eingetragen unter dem Bezeichner: logic. You can also see everyone's logic.
  • A knowledge compilation map
    (2002)
    by A Darwiche, P Marquis
    posted to artificial intelligence knowledge knowledge_compilation knowledgei logic master thesis by A_Olympia on 2007-11-12 23:12:41 as ** along with 2 people stavros gvdh
  • Complete Sequent Calculi for Induction and Infinite Descent
    (2007)
    by James Brotherson, Alex Simpson
    posted to calculi complete culi cutelimination induction logic pnc sequent by A_Olympia on 2007-04-19 21:13:35 as ** along with 2 people and 2 groups greg_restall noam_zeilberger Philosophy_of_Information Blog_and_Wiki_Research
  • Symmetry and Paradox
    History and Philosophy of Logic, Vol. 27, No. 4. (November 2006), pp. 307-318.
    by Stephen Read
    posted to ardine buridan liar logic paradox sorensen symmetry truthteller by A_Olympia on 2007-04-19 20:38:08 as ** along with 1 person and 2 groups greg_restall Philosophy_of_Information Blog_and_Wiki_Research
  • Toward a More Natural Expression of Quantum Logic with Boolean Fractions
    Journal of Philosophical Logic, Vol. 34, No. 4. (August 2005), pp. 363-401.
    by Philip Calabrese
    posted to boolean fractions logic quantum with by A_Olympia on 2005-11-15 11:21:16 as ** along with 2 groups Philosophy_of_Information Blog_and_Wiki_Research
  • The logic of entanglement
    (2 March 2004)
    by Bob Coecke
    posted to entanglement logic by A_Olympia on 2005-06-07 14:09:43 as ** along with 4 people and 2 groups jrw greg_restall dmitri83 eswar_physics Philosophy_of_Information Blog_and_Wiki_Research
  • 19th Century Logic between Philosophy and Mathematics
    The Bulletin of Symbolic Logic, Vol. 5, No. 4. (1999), pp. 433-450.
    by Volker Peckhaus
    posted to logic mathematics philosophy by A_Olympia on 2005-04-25 15:24:33 as ** along with 1 person and 3 groups rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic
    The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366.
    by Richard Zach
    posted to bernays hilbert logic propositional by A_Olympia on 2005-04-25 15:18:37 as ** along with 1 person and 3 groups rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
  • Tarskian semantics, or no notation without denotation]
    (1986), pp. 167-169.
    by D Mcdermott
    posted to logic notation semantics by A_Olympia on 2005-01-09 10:32:56 as ** along with 1 person and 2 groups hamish Philosophy_of_Information Blog_and_Wiki_Research
  • Hilbert's Programs: 1917--1922
    The Bulletin of Symbolic Logic, Vol. 5, No. 1. (199), pp. 1-44.
    by Wilfried Sieg
    posted to hilbert logic programs by A_Olympia on 2004-12-30 14:14:54 along with 1 person and 2 groups recordmymind Philosophy_of_Information Blog_and_Wiki_Research
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/A_Olympia/tag/logic

    RIS BibTeX