5 papers
Hypersequent Calculi for Intermediate Predicate Logics
Takuma Imamura, Shuya Matsumoto, Shin Quawai
We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom $\mathbf{LIN}\co…
Another view of the coarse invariant
Takuma Imamura
Miller, Stibich and Moore (2010) developed a set-valued coarse invariant of pointed metric spaces. DeLyser, LaBuz and Tobash (2013) provided a different way to…
Asymmetric completions of partial metric spaces
Takuma Imamura
Ge and Lin (2015) proved the existence and the uniqueness of p-Cauchy completions of partial metric spaces under symmetric denseness. They asked if every (non-empty) partial metric…
Fehrele's principle in nonstandard topology
Takuma Imamura
In nonstandard analysis, Fehrele's principle is a beautiful criterion for a set to be internal, stating that every galactic halic set is internal. In this note, we use this princip…
On the extreme power of nonstandard programming languages
Takuma Imamura
Suenaga and Hasuo introduced a nonstandard programming language which models hybrid systems. We demonstrate why is not suitable for mo…