Concepedia

Kiyoshi Iséki

KI

24

Publications

1.6K

Citations

16

H-Index

1956

Active since

Affiliations

Kobe University(Current)

Kiyoshi Iséki is an author at Kobe University specializing in functional analysis, formal methods, and automated reasoning.

Top concepts

Functional AnalysisEngineeringFormal MethodsAutomated ReasoningGeometryCartographyFormal LogicRepresentation TheoryMathematical Foundations

Publications per year

1956–1980

24

Publications

24

On axiom systems of propositional calculi, XIV

Yasuyuki Imai, Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 543 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +4

An algebra related with a propositional calculus

Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 456 citations

Formal Logic, Algebraic Logic, Engineering +8

On BCI-Algebras

Kiyoshi Iséki · Mathematics seminar notes · 1980 · 164 citations

Fixed Point Theorem in 2-Metric Spaces

Kiyoshi Iséki · Kobe University Repository Kernel (Kobe University) · 1975 · 69 citations · Full text

Set-theoretic Topology, Topological Property, 2-Metric Spaces +2

On ideals in BCK-algebras

Kiyoshi Iséki · Kobe University Repository Kernel (Kobe University) · 1975 · 60 citations · Full text

Commutative Algebra, Modern Algebra, Ring Theory

Rows per page

1–5 of 24