THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 45, doi. 10.1002/malq.19840300105
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1984 AND VI 30 AND IP 1-6
Results: 6
1
2
ON THE EXPRESSIVE POWER OF THE LOGICS L(Q<sub>α</sub><sup> n1</sup>,...,<sup> n</sup><sub> m</sub>).
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 11, doi. 10.1002/malq.19840300103
- By:
- Publication type:
- Article
3
AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n-VALUED LUKASIEWICZ LOGICS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 87, doi. 10.1002/malq.19840300106
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. fmi, doi. 10.1002/malq.19840300101
- Publication type:
- Article
5
FILTERKONVERGENZ IN DER NICHTSTANDARD-ANALYSIS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 21, doi. 10.1002/malq.19840300104
- By:
- Publication type:
- Article
6
A VERSION OF KRIPKE-PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 3, doi. 10.1002/malq.19840300102
- By:
- Publication type:
- Article