Works matching IS 00223611 AND DT 1999 AND VI 28 AND IP 2
Results: 6
Relevant identity.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 199, doi. 10.1023/A:1004323917968
- By:
- Publication type:
- Article
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 175, doi. 10.1023/A:1004229908345
- By:
- Publication type:
- Article
A note on finiteness in the predicative foundations of arithmetic.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 165, doi. 10.1023/A:1004377219147
- By:
- Publication type:
- Article
Mirror notation: Symbol manipulation without inscription manipulation.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 141, doi. 10.1023/A:1004307405785
- By:
- Publication type:
- Article
More triviality.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 129, doi. 10.1023/A:1004391701130
- By:
- Publication type:
- Article
Partitions and conditionals.
- Published in:
- Journal of Philosophical Logic, 1999, v. 28, n. 2, p. 113, doi. 10.1023/A:1004237315829
- By:
- Publication type:
- Article