Available identifiers
zbMath Open tanaka.shotaroMaRDI QIDQ2772764
List of research outcomes
Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q2772765 | 2002-07-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4308674 | 1994-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4034267 | 1993-05-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3819076 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3739110 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4156773 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4165379 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4180353 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4140987 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4115178 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4126336 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4126337 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4087174 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4087175 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4087176 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4166796 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4067108 | 1974-01-01 | Paper |
On axiom systems of ontology, II | 1971-01-01 | Paper |
On axiom systems of ontology, I | 1970-01-01 | Paper |
On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor | 1969-01-01 | Paper |
Leśniewski's protothetics $S1$, $S2$, I | 1969-01-01 | Paper |
Axiom systems of Aristotle traditional logic, IV | 1968-01-01 | Paper |
An algebraic formulation of $K - N$ propositional calculus, IV | 1968-01-01 | Paper |
On proofs of some axioms with Sheffer functor ‘D’ | 1968-01-01 | Paper |
On axioms of ontology | 1968-01-01 | Paper |
On theorems of ontology | 1968-01-01 | Paper |
An algebraic formulation of $K-N$ propositional calculus, II | 1967-01-01 | Paper |
On axiom systems of propositional calculi, XXV | 1967-01-01 | Paper |
Axiom systems of Aristotle traditional logic, II | 1967-01-01 | Paper |
An algebraic formulation of $K-N$ propositional calculus, III | 1967-01-01 | Paper |
A pentavalued logic and its algebraic theory | 1966-01-01 | Paper |
A remark on propositional calculus with variable functors | 1966-01-01 | Paper |
On axiom systems of propositional calculi, XVI | 1966-01-01 | Paper |
On axiom systems of propositional calculi, XVIII | 1966-01-01 | Paper |
On axiom systems of propositional calculi, XIX | 1966-01-01 | Paper |
On axiom systems of propositional calculi, XX | 1966-01-01 | Paper |
On axiom systems of propositional calculi, XXII | 1966-01-01 | Paper |
Axiom systems of $B$-algebra, III | 1966-01-01 | Paper |
Axiom systems of $B$-algebra, VI | 1966-01-01 | Paper |
On characterizations of $I$-algebra, I | 1966-01-01 | Paper |
On characterizations of $I$-algebra, II | 1966-01-01 | Paper |
On variants of axiom systems of propositional calculus, I | 1966-01-01 | Paper |
On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ | 1966-01-01 | Paper |
Characterizations of $\mathrm{BCI, BCK}$-algebras | 1966-01-01 | Paper |
Some theorems in $B$-algebra, II | 1966-01-01 | Paper |
On axiom systems of propositional calculi, V | 1965-01-01 | Paper |
On axiom systems of propositional calculi, VI | 1965-01-01 | Paper |
On axiom systems of propositional calculi, VIII | 1965-01-01 | Paper |
On axiom systems of propositional calculi, XIII | 1965-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Shotaro Tanaka