Correspondence as an intertheory relation.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 363, doi. 10.1007/BF01063853
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1983 AND VI 42 AND IP 2/3
Results: 22
1
2
Constructing general models of theory dynamics.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 347, doi. 10.1007/BF01063852
- By:
- Publication type:
- Article
3
On the eliminative explanation of social theories.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 331, doi. 10.1007/BF01063851
- By:
- Publication type:
- Article
4
Verisimilitude vs. legisimilitude.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 315, doi. 10.1007/BF01063850
- By:
- Publication type:
- Article
5
Logical semantics as an empirical science.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 299, doi. 10.1007/BF01063849
- By:
- Publication type:
- Article
6
On the logic of adverbs.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 293, doi. 10.1007/BF01063848
- By:
- Publication type:
- Article
7
On the meaning of indexicals.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 285, doi. 10.1007/BF01063847
- By:
- Publication type:
- Article
8
Logical space and metaphysical systems.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 269, doi. 10.1007/BF01063846
- By:
- Publication type:
- Article
9
On the complexity-relativized strong reducibilites.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 259, doi. 10.1007/BF01063845
- By:
- Publication type:
- Article
10
The logic of algebraic rules as a generalization of equational logic.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 251, doi. 10.1007/BF01063844
- By:
- Publication type:
- Article
11
Logical operations and iterated infinitely deep languages.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 243, doi. 10.1007/BF01063843
- By:
- Publication type:
- Article
12
Model theoretic results for infinitely deep languages.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 223, doi. 10.1007/BF01063842
- By:
- Publication type:
- Article
13
Subject-predicate calculus free from existential import.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 209, doi. 10.1007/BF01063841
- By:
- Publication type:
- Article
14
Embedding the elementary ontology of stanisław Leśniewski into the monadic second-order calculus of predicates.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 197, doi. 10.1007/BF01063840
- By:
- Publication type:
- Article
15
The logic of viewpoints.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 187, doi. 10.1007/BF01063839
- By:
- Publication type:
- Article
16
Factor semantics for n-valued logics.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 179, doi. 10.1007/BF01063838
- By:
- Publication type:
- Article
17
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 173, doi. 10.1007/BF01063837
- By:
- Publication type:
- Article
18
The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 165, doi. 10.1007/BF01063836
- By:
- Publication type:
- Article
19
A decision procedure for the system E (of entailment). I.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 139, doi. 10.1007/BF01063835
- By:
- Publication type:
- Article
20
An extension of the deontic calculus DSC.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 129, doi. 10.1007/BF01063834
- By:
- Publication type:
- Article
21
Norms of higher order.
- Published in:
- Studia Logica, 1983, v. 42, n. 2/3, p. 119, doi. 10.1007/BF01063833
- By:
- Publication type:
- Article
22
Preface.
- Published in:
- 1983
- By:
- Publication type:
- Editorial