Works matching IS 00393215 AND DT 1985 AND VI 44 AND IP 3
Results: 6
Generalized equivalence: A pattern of mathematical expression.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 285, doi. 10.1007/BF00394447
- By:
- Publication type:
- Article
The Craig interpolation theorem for prepositional logics with strong negation.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 291, doi. 10.1007/BF00394448
- By:
- Publication type:
- Article
Sentential logics and Maehara Interpolation Property.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 265, doi. 10.1007/BF00394446
- By:
- Publication type:
- Article
On the definability of the quantifier 'there exist uncountably many'.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 257, doi. 10.1007/BF00394445
- By:
- Publication type:
- Article
Sheaves over Heyting lattices.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 237, doi. 10.1007/BF00394444
- By:
- Publication type:
- Article
On purported Gentzen formulations of two positive relevent logics.
- Published in:
- Studia Logica, 1985, v. 44, n. 3, p. 233, doi. 10.1007/BF00394443
- By:
- Publication type:
- Article