The following pages link to Shotaro Tanaka (Q2772764):
Displayed 49 items.
- (Q2772765) (← links)
- (Q3739110) (← links)
- (Q3819076) (← links)
- (Q4034267) (← links)
- (Q4067108) (← links)
- (Q4087174) (← links)
- (Q4087175) (← links)
- (Q4087176) (← links)
- (Q4115178) (← links)
- (Q4126336) (← links)
- (Q4126337) (← links)
- (Q4140987) (← links)
- (Q4156773) (← links)
- (Q4165379) (← links)
- (Q4166796) (← links)
- (Q4180353) (← links)
- (Q4308674) (← links)
- A pentavalued logic and its algebraic theory (Q5521470) (← links)
- A remark on propositional calculus with variable functors (Q5525329) (← links)
- An algebraic formulation of $K-N$ propositional calculus, II (Q5534204) (← links)
- On axiom systems of propositional calculi, V (Q5536242) (← links)
- On axiom systems of propositional calculi, VI (Q5536243) (← links)
- On axiom systems of propositional calculi, VIII (Q5536245) (← links)
- On axiom systems of propositional calculi, XIII (Q5536249) (← links)
- On axiom systems of propositional calculi, XVI (Q5536252) (← links)
- On axiom systems of propositional calculi, XVIII (Q5536254) (← links)
- On axiom systems of propositional calculi, XIX (Q5536255) (← links)
- On axiom systems of propositional calculi, XX (Q5536256) (← links)
- On axiom systems of propositional calculi, XXII (Q5536258) (← links)
- Axiom systems of $B$-algebra, III (Q5537336) (← links)
- Axiom systems of $B$-algebra, VI (Q5537339) (← links)
- On axiom systems of propositional calculi, XXV (Q5541305) (← links)
- Axiom systems of Aristotle traditional logic, II (Q5549021) (← links)
- Axiom systems of Aristotle traditional logic, IV (Q5556391) (← links)
- On characterizations of $I$-algebra, I (Q5559218) (← links)
- On characterizations of $I$-algebra, II (Q5559219) (← links)
- An algebraic formulation of $K-N$ propositional calculus, III (Q5561923) (← links)
- On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor (Q5569096) (← links)
- An algebraic formulation of $K - N$ propositional calculus, IV (Q5569433) (← links)
- On proofs of some axioms with Sheffer functor ‘D’ (Q5572296) (← links)
- On axioms of ontology (Q5577060) (← links)
- On theorems of ontology (Q5577061) (← links)
- Leśniewski's protothetics $S1$, $S2$, I (Q5582313) (← links)
- On variants of axiom systems of propositional calculus, I (Q5586217) (← links)
- On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ (Q5586218) (← links)
- Characterizations of $\mathrm{BCI, BCK}$-algebras (Q5607968) (← links)
- Some theorems in $B$-algebra, II (Q5607970) (← links)
- On axiom systems of ontology, I (Q5609354) (← links)
- On axiom systems of ontology, II (Q5638274) (← links)