The logic of information structures /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Wansing, H. (Heinrich)
פורמט: ספר
שפה:English
יצא לאור: Berlin ; New York : Springer-Verlag, c1993.
סדרה:Lecture notes in computer science. Lecture notes in artificial intelligence ; 681.
נושאים:
תוכן הענינים:
  • 1. Introduction
  • 2. Generalizations
  • 3. Intuitionistic minimal and intuitionistic information processing
  • 4. Functional completeness for substructural subsystems of IPL
  • 5. Formulas-as-types for substructural subsystems of IPL
  • 6. Constructive minimal and constructive information processing
  • 7. Functional completeness for substructural subsystems of N
  • 8. The constructive typed [lambda]-calculus [actual symbol not reproducible] and formulas-as-types for N[superscript -]
  • 9. Monoid models and the informational interpretation of substructural propositional logics.