Works matching IS 00223611 AND DT 1997 AND VI 26 AND IP 2
Results: 6
Inconsistent models of arithmetic. Part I: Finite models.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 223, doi. 10.1023/A:1004251506208
- By:
- Publication type:
- Article
Fractal images of formal systems.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 181, doi. 10.1023/A:1004280900954
- By:
- Publication type:
- Article
The modal logic of discrepancy.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 143, doi. 10.1023/A:1017939604673
- By:
- Publication type:
- Article
On the completeness of first degree weakly aggregative modal logics.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 169, doi. 10.1023/A:1017940015180
- By:
- Publication type:
- Article
Relational models for the modal syllogistic.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 129, doi. 10.1023/A:1004200616124
- By:
- Publication type:
- Article
Quantum mechanical unbounded operators and constructive mathematics--a rejoinder to bridges.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 2, p. 121, doi. 10.1023/A:1017996604366
- By:
- Publication type:
- Article