Concepedia

Yuichi Komori

YK

10

Publications

518

Citations

10

H-Index

1975

Active since

Affiliations

Shizuoka University(Current)

Yuichi Komori is an author at Shizuoka University specializing in automated reasoning, language studies, and engineering.

Top concepts

Automated ReasoningLanguageEngineeringSyntaxSemanticsFormal MethodsLinguisticsFormal LogicComputer ScienceMulti-sorted Logic

Publications per year

1975–1994

10

Publications

10

Logics without the contraction rule

Hiroakira Ono, Yuichi Komori · Journal of Symbolic Logic · 1985 · 287 citations

Formal Logic, Non-classical Logic, Syntax +15

Super-Łukasiewicz propositional logics

Yuichi Komori · Nagoya Mathematical Journal · 1981 · 92 citations · Full text

Engineering, Propositional Calculus, Automated Reasoning +9

Super-Łukasiewicz implicational logics

Yuichi Komori · Nagoya Mathematical Journal · 1978 · 33 citations · Full text

Formal Logic, łUkasiewicz Propositional Logic, Non-monotonic Logic +14

Predicate logics without the structure rules

Yuichi Komori · Studia Logica · 1986 · 31 citations

Non-classical Logic, Syntax, Engineering +7

The Variety Generated by BCC-Algebras Is Finitely Based

Yuichi Komori · Shizuoka University Repository (Shizuoka University) · 1983 · 16 citations · Full text

Schubert Calculus, Bcc-algebras Is Finitely, Universal Algebra +1

Rows per page

1–5 of 10