registrieren | anmelden | FAQ      [?] 

Tag proof-theoretical-semantics [3 articles]

Recent papers classified by the tag proof-theoretical-semantics.
  • On rules of inference and the meanings of logical constants
    Analysis, Vol. 68, No. 300. (October 2008), pp. 282-287.
    by Raatikainen, Panu
    posted to proof-theoretical-semantics by yoriyuki on 2008-09-06 17:45:07 as ** along with 1 person rzach
  • Naming proofs in classical propositional logic
    (2005)
    by F Lamarche, L Straburger
    posted to classical-logic copy proof-theoretical-semantics by yoriyuki on 2008-07-18 08:52:19 as **
  • Identity of Proofs Based on Normalization and Generality
    The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 477-503.
    by Kosta Dosen
    posted to proof-theoretical-semantics by yoriyuki on 2008-07-18 08:48:24 as ** along with 2 people and 1 group rzach greg_restall LogicPhilMath
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/proof-theoretical-semantics

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.