Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Tokuda, Naomi"'
The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obta
Externí odkaz:
http://arxiv.org/abs/2310.15806
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic semantics
Externí odkaz:
http://arxiv.org/abs/2209.08566
Autor:
Metcalfe, George, Tokuda, Naomi
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by Marczewski for elements of an algebraic structure. Following ide
Externí odkaz:
http://arxiv.org/abs/2106.10100
Publikováno v:
Bulletin of Symbolic Logic; Jun2024, Vol. 30 Issue 2, p253-278, 26p
Autor:
Tokuda, Naomi1, Kawai, Katsuhisa1, Lee, Young-Ho1, Ikegami, Takahisa1, Yamaguchi, Satoru1, Yagisawa, Hitoshi1, Fukui, Yasuhisa1, Tuzi, Satoru1
Publikováno v:
Journal of Biochemistry. Apr2012, Vol. 151 Issue 4, p391-401. 11p.