Announcement.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 86, doi. 10.1007/BF00493674
- Publication type:
- Article
Works matching IS 00393215 AND DT 1979 AND VI 38 AND IP 1
Results: 6
1
2
The existence of matrices strongly adequate for E, R and their fragments.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 75, doi. 10.1007/BF00493673
- By:
- Publication type:
- Article
3
A game-based formal system for Ł.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 49, doi. 10.1007/BF00493672
- By:
- Publication type:
- Article
4
An axiomatization of the modal theory of the veiled recession frame.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 37, doi. 10.1007/BF00493671
- By:
- Publication type:
- Article
5
Calculating self-referential statements, I: Explicit calculations.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 17, doi. 10.1007/BF00493670
- By:
- Publication type:
- Article
6
Partial Boolean algebras in a broader sense.
- Published in:
- Studia Logica, 1979, v. 38, n. 1, p. 1, doi. 10.1007/BF00493669
- By:
- Publication type:
- Article