ℹ️
🇬🇧
Search
Search for people relevant for "paraconsistent logic"
paraconsistent logic
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Adam Přenosil Ph.D.
External academic staff at Faculty of Arts
19 publications
Publications
publication
Extensions of the four-valued Belnap-Dunn logic
2017 |
Faculty of Arts
publication
An algebraic view of super-Belnap logics
2017 |
Faculty of Arts
publication
Contradictory information as a basis for rational belief
+1
2017 |
Faculty of Arts
publication
Reductio ad contradictionem: an algebraic perspective
2016 |
Faculty of Arts
publication
Extracting truth from falsehood
2016 |
Faculty of Arts
publication
Consistency, Completeness, and Classicality
2015 |
Faculty of Arts
publication
De Morgan logics with a notion of inconsistency
2014 |
Faculty of Arts
publication
Antistructural Completeness in Propositional Logics
2017 |
Faculty of Arts
publication
Antistructural completeness in propositional logics
2017 |
Faculty of Arts
publication
Cut elimination, identity elimination, and interpolation in super-Belnap logics
2017 |
Faculty of Arts
Load more publications (9)
Loading network view...