Skip to main content
DL 1
  • Support
    User support Contact us
  • English ‎(en)‎
    Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎
  • You are not logged in. (Log in)
  • Non-classical Logics ALG500014
  • Non-classical models of reasoning
  • Introduction
  • Completeness
  • Heyting arithmetics
  • Algebraic semantics and duality
  • Decidability
  • Algebraic semantics of modal logics
  • Proof Theory of Modal Logics
  • FDE and its cousins and expansions
  • Relevant logics (Relevance logics)
  • Substructural logics and their frame semantics
  • Many-valued (fuzzy) logics
  • Two-layered logics for uncertainty
  • Home

Course info

  1. Home
  2. Courses
  3. Faculty of Arts
  4. Department of Logic
  5. Non-classical Logics ALG500014
  6. Summary

Non-classical Logics ALG500014

  • Teacher: Marta Bílková

You are not logged in. (Log in)
Non-classical Logics
  • Support
    • User support
    • Contact us
  • English ‎(en)‎
    • Čeština ‎(cs)‎
    • Deutsch ‎(de)‎
    • English ‎(en)‎
    • Français ‎(fr)‎
    • Русский ‎(ru)‎
Data retention summary
Get the mobile app
Policies