- On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.Marcelo E. Coniglio, G. T. Gomez–Pereira & Martín Figallo - forthcoming - Studia Logica:1-42.details
|
|
Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).details
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.details
|
|
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value.Gemma Robles & José M. Méndez - 2019 - Logic Journal of the IGPL 27 (6):910-932.details
|
|
Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.details
|
|
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.details
|
|
Paraconsistent and Paracomplete Zermelo–Fraenkel Set Theory.Yurii Khomskii & Hrafn Valtýr Oddsson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework.Norihiro Kamide - 2019 - Logica Universalis 13 (1):37-63.details
|
|
Valuation Semantics for First-Order Logics of Evidence and Truth.H. Antunes, A. Rodrigues, W. Carnielli & M. E. Coniglio - 2022 - Journal of Philosophical Logic 51 (5):1141-1173.details
|
|