A second-order relevance logic with modality.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 113, doi. 10.1007/BF00370437
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1979 AND VI 38 AND IP 2
Results: 10
1
2
Alternative semantics for quantified first degree relevant logic.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 211, doi. 10.1007/BF00370443
- By:
- Publication type:
- Article
3
Relevant analytic tableaux.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 187, doi. 10.1007/BF00370441
- By:
- Publication type:
- Article
4
Distributive lattices with a dual homomorphic operation.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 201, doi. 10.1007/BF00370442
- By:
- Publication type:
- Article
5
The completeness of S.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 137, doi. 10.1007/BF00370438
- By:
- Publication type:
- Article
6
On analysing relevance constructively.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 171, doi. 10.1007/BF00370440
- By:
- Publication type:
- Article
7
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 149, doi. 10.1007/BF00370439
- By:
- Publication type:
- Article
8
On defining necessity in terms of entailment.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 95, doi. 10.1007/BF00370435
- By:
- Publication type:
- Article
9
On the non-availability of Dawson-modeling into certain relevance alethic modal logics.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 89, doi. 10.1007/BF00370434
- By:
- Publication type:
- Article
10
Deduction theorems for RM and its extensions.
- Published in:
- Studia Logica, 1979, v. 38, n. 2, p. 105, doi. 10.1007/BF00370436
- By:
- Publication type:
- Article