A Note on the Proof Method for Constructive Falsity.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 63, doi. 10.1002/malq.19910370209
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1991 AND VI 37 AND IP 2-4
Results: 9
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. fmi, doi. 10.1002/malq.19910370201
- Publication type:
- Article
3
A Proof of the Characterization Theorem for Consequence Relations.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 41, doi. 10.1002/malq.19910370205
- By:
- Publication type:
- Article
4
A Note on Pavelka's Fuzzy Logic.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 39, doi. 10.1002/malq.19910370204
- By:
- Publication type:
- Article
5
Generalized Construction Problems.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 57, doi. 10.1002/malq.19910370208
- By:
- Publication type:
- Article
6
Les Tournois (−1)-Chaîne.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 27, doi. 10.1002/malq.19910370203
- By:
- Publication type:
- Article
7
On Pairs and Tuples.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 55, doi. 10.1002/malq.19910370207
- By:
- Publication type:
- Article
8
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 17, doi. 10.1002/malq.19910370202
- By:
- Publication type:
- Article
9
Second Order Definability Via enumerations.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 2-4, p. 45, doi. 10.1002/malq.19910370206
- By:
- Publication type:
- Article