3 papers
math.LO2026
Deducibility of Identicals, Reflection Principle and Synthetic Connectives
Yuki Nishimuta
Sambin et al. (2000) introduced Basic Logic as a uniform framework for various logics. At the same time, they also introduced the principle of reflection as a criterion for being a…
math.LO2026
A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
Yuki Nishimuta, Mitsuhiro Okada
Danos and Regnier (1989) introduced the par-switching condition for multiplicative proof-structures and simplified the sequentialization theorem of Girard (1987) by means of par-sw…
math.LO2026
Three Topics in Non-decomposability of Generalized Multiplicative Connectives
Yuki Nishimuta
Danos and Regnier introduced generalized (non-binary) multiplicative connectives in Danos and Regnier [2]. They showed that there exist generalized multiplicative connectives that…