Skip to content
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Udvidet
  • Positive Logic with Adjoint Mo...
  • Citér dette
  • Stav dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Eksportér til RefWorks
    • Eksportér til EndNoteWeb
    • Eksportér til EndNote
  • Permanent link
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information

Show other versions (2)
Bibliografiske detaljer
Main Authors: Sadrzadeh, M, Dyckhoff, R
Format: Journal article
Udgivet: 2010
  • Beholdninger
  • Beskrivelse
  • Other Versions (2)
  • Lignende værker
  • Medarbejdervisning

Lignende værker

  • Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
    af: Sadrzadeh, M, et al.
    Udgivet: (2010)
  • Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
    af: Sadrzadeh, M, et al.
    Udgivet: (2009)
  • Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
    af: Dyckhoff, R, et al.
    Udgivet: (2012)
  • Implementation of a cut−free sequent calculus for logics with adjoint modalities
    af: Kriener, M, et al.
    Udgivet: (2009)
  • Reasoning about Knowledge in Linear Logic: Modalities and Complexity
    af: Marion, M, et al.
    Udgivet: (2004)

Søgemuligheder

  • Søg Historie
  • Udvidet søgning

Find flere

  • Gennemse kataloget
  • Gennemse alfabetisk
  • Explore Channels
  • Kursusreservationer
  • Nye værker

Har du brug for hjælp?

  • Søgetips
  • Spørg en bibliotekar
  • FAQ’er