Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency
Omori, Hitoshi
Published in 2016 27th International Workshop on Database and Expert Systems Applications (DEXA) (01.09.2016)
Published in 2016 27th International Workshop on Database and Expert Systems Applications (DEXA) (01.09.2016)
Get full text
Conference Proceeding
Another Combination of Classical and Intuitionistic Conditionals
Niki, Satoru, Omori, Hitoshi
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Get full text
Journal Article
Superconnexivity Reconsidered
Kapsner, Andreas, Omori, Hitoshi
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Get full text
Journal Article
Liberating classical negation from falsity conditions
Szmuc, Damian, Omori, Hitoshi
Published in 2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2022)
Published in 2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2022)
Get full text
Conference Proceeding
Untruth, falsity and non-deterministic semantics
Omori, Hitoshi, Skurt, Daniel
Published in 2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2021)
Published in 2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2021)
Get full text
Conference Proceeding