On three-valued implicative systems.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 351, doi. 10.1007/BF02176169
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1978 AND VI 37 AND IP 4
Results: 10
1
2
Compactness theorems for finitely-many-valued sentenial logics.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 413, doi. 10.1007/BF02176172
- By:
- Publication type:
- Article
3
Subformula results in some propositional modal logics.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 387, doi. 10.1007/BF02176170
- By:
- Publication type:
- Article
4
Announcement.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 417, doi. 10.1007/BF02176173
- Publication type:
- Article
5
A note on my paper 'A very strong intruitionistic theory'.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 349, doi. 10.1007/BF02176168
- By:
- Publication type:
- Article
6
The inconsistency of Bernini's very strong intuitionistic theory.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 341, doi. 10.1007/BF02176167
- By:
- Publication type:
- Article
7
A semantic characterization of terms free for some variable in a formula.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 337, doi. 10.1007/BF02176166
- By:
- Publication type:
- Article
8
Semantics for connexive logics. I.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 393, doi. 10.1007/BF02176171
- By:
- Publication type:
- Article
9
Ramsey eliminability.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 321, doi. 10.1007/BF02176165
- By:
- Publication type:
- Article
10
Semantical analysis of Arruda da Costa P systems and adjacent non-replacement relevant systems.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 301, doi. 10.1007/BF02176164
- By:
- Publication type:
- Article