The following pages link to Yuichi Komori (Q1089329):
Displayed 36 items.
- (Q757454) (redirect page) (← links)
- On sublattice lattice varieties (Q757455) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- Predicate logics without the structure rules (Q1089330) (← links)
- Logics without Craig's interpolation property (Q1254250) (← links)
- Uniqueness of normal proofs in implicational intuitionistic logic (Q1288178) (← links)
- Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic (Q1309335) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- A reduction rule for Peirce formula (Q1919985) (← links)
- A simplified proof of the Church-Rosser theorem (Q2016071) (← links)
- \(\lambda \rho\)-calculus. II (Q2434902) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- The number of proofs for a BCK-formula (Q3138016) (← links)
- (Q3323928) (← links)
- (Q3346317) (← links)
- (Q3663366) (← links)
- (Q3669379) (← links)
- (Q3684108) (← links)
- Logics without the contraction rule (Q3707997) (← links)
- (Q3824391) (← links)
- (Q3832538) (← links)
- Super-Łukasiewicz propositional logics (Q3939781) (← links)
- (Q3966106) (← links)
- (Q4032538) (← links)
- (Q4077985) (← links)
- Super-Łukasiewicz implicational logics (Q4137140) (← links)
- (Q4138782) (← links)
- (Q4138783) (← links)
- (Q4156761) (← links)
- Completeness of two theories on ordered abelian groups and embedding relations (Q4189256) (← links)
- (Q4443182) (← links)
- (Q4443208) (← links)
- (Q4735169) (← links)
- (Q4744320) (← links)