Skip to main content
Side panel
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
Home
Courses
Faculty of Arts
Department of Logic
Non-classical Logics ALG500014
Summary
Non-classical Logics ALG500014
Teacher:
Marta Bílková