相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Notes on Avron's Self-extensional Four-valued Paradefinite Logic
Norihiro Kamide
2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021) (2021)
The Normal and Self-extensional Extension of Dunn-Belnap Logic
Arnon Avron
LOGICA UNIVERSALIS (2020)
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
Norihiro Kamide
JOURNAL OF PHILOSOPHICAL LOGIC (2020)
Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework
Norihiro Kamide
LOGICA UNIVERSALIS (2019)
Self-Extensional Three-Valued Paraconsistent Logics
Arnon Avron
LOGICA UNIVERSALIS (2017)
Extending Ideal Paraconsistent Four-Valued Logic
Norihiro Kamide
2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017) (2017)
An Extended First-Order Belnap-Dunn Logic with Classical Negation
Norihiro Kamide et al.
LOGIC, RATIONALITY, AND INTERACTION, LORI 2017 (2017)
Classical Negation and Expansions of Belnap-Dunn Logic
Michael De et al.
STUDIA LOGICA (2015)
A Strong and Rich 4-Valued Modal Logic Without Lukasiewicz-Type Paradoxes
Jose M. Mendez et al.
LOGICA UNIVERSALIS (2015)
Three-Valued Paraconsistent Propositional Logics
Ofer Arieli et al.
NEW DIRECTIONS IN PARACONSISTENT LOGIC (2015)
A Unified Semantic Framework for Fully Structural Propositional Sequent Systems
Ori Lahav et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2013)