The following pages link to Yuichi Komori (Q1089329):
Displaying 17 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)
