Satoru Niki

Available identifiers

Publication	Date of Publication	Type
Another combination of classical and intuitionistic conditionals	2025-01-09	Paper
A note on negation inconsistent variants of FDE-negation	2024-06-24	Paper
Intuitionistic views on connexive constrictible falsity	2024-05-10	Paper
Double negation as minimal negation	2024-02-06	Paper
On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)	2023-10-24	Paper
IMPROVING STRONG NEGATION	2023-09-20	Paper
Decidable variables for constructive logics	2023-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5884966	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5104721	2022-09-15	Paper
A note on Humberstone's constant Ω	2022-02-02	Paper
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations	2021-07-07	Paper
Subminimal logics in light of Vakarelov's logic	2021-05-11	Paper
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations	2021-01-28	Paper
On Scott’s semantics for many-valued logic	2020-12-15	Paper

This page was built for person: Satoru Niki