Skip to main content
Side panel
DL 1
Home
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
DL 1
Home
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Non-classical Logics ALG500014
FDE and its cousins and expansions
FDE An Introductory overview
FDE An Introductory overview
Completion requirements
Click
40 years of FDE An Introductory Overview.pdf
link to view the file.
◄ Nested Sequents
Jump to...
Jump to...
Novinky
Intuitionistic Logic Lecture Notes
van Dalen - Intuitionistic Logic
LaS Chapter 5
Smorynski
V. Švejdar
R. Dyckhoff
Algebras and Duality
NMR: Modal duality - slides
Survey of display calculi
Comparing Modal Sequent Systems
Proof theory for modal logic
SEQUENT SYSTEMS FOR MODAL LOGICS
Nested Sequents
FDE and its relatives
Reasoning with inconsistent information (PhD Thesis)
Constructive negation, implication and co-implication
Reasoning with belief functions over Belnap--Dunn logic
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
FDE and its relatives ►