BibSonomy :: author  ::

bookmarks

publications

(125)

• Justification Logic.
  Sergei N. Artëmov JELIA 1-4 (2008)
  to dblp by dblp on 2008-10-01 00:00:00
  | URL | BibTeX  
• Foreword.
  Sergei N. Artëmov and Volker Diekert and Dima Grigoriev Theory Comput. Syst. 43 99 (2008)
  to dblp by dblp on 2008-08-08 00:00:00
  | URL | BibTeX  
• Editorial.
  Zofia Adamowicz and Sergei N. Artëmov and Damian Niwinski and Ewa Orowska and Anna B. Romanowska and Jan Wolenski Ann. Pure Appl. Logic 126 3-4 (2004)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Topological Semantics of Justification Logic.
  Sergei N. Artëmov and Elena Nogina CSR 30-39 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• Symmetric Logic of Proofs.
  Sergei N. Artëmov Pillars of Computer Science 58-71 (2008)
  to dblp by dblp on 2008-02-12 00:00:00
  | URL | BibTeX  
• Multiplexor Categories and Models of Soft Linear Logic.
  Brian F. Redmond LFCS 472-485 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic.
  Michael O'Connor LFCS 437-448 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.
  Jennifer M. Davoren LFCS 162-179 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Realizations and LP.
  Melvin Fitting LFCS 212-223 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Proof Identity for Classical Logic: Generalizing to Normality.
  Roman Kuznets LFCS 332-348 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX