Works matching IS 00393215 AND DT 1978 AND VI 37 AND IP 4
Results: 10
Announcement.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 417, doi. 10.1007/BF02176173
- Publication type:
- Article
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
Semantics for connexive logics. I.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 393, doi. 10.1007/BF02176171
- By:
- Publication type:
- Article
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
On three-valued implicative systems.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 351, doi. 10.1007/BF02176169
- By:
- Publication type:
- Article
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
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
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
Ramsey eliminability.
- Published in:
- Studia Logica, 1978, v. 37, n. 4, p. 321, doi. 10.1007/BF02176165
- By:
- Publication type:
- Article
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