Found: 10
Select item for more details and to access through your institution.
Some theorems on structural consequence operations.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 1, doi. 10.1007/BF02314419
- By:
- Publication type:
- Article
On models with variable universe.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 11, doi. 10.1007/BF02314420
- By:
- Publication type:
- Article
Hyperintensional logic.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 25, doi. 10.1007/BF02314421
- By:
- Publication type:
- Article
Remarks on discussive propositional calculus.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 39, doi. 10.1007/BF02314422
- By:
- Publication type:
- Article
A finite approximation to models of set theory.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 45, doi. 10.1007/BF02314423
- By:
- Publication type:
- Article
The decision problem for some finite extensions of the intuitionistic theory of abelian groups.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 59, doi. 10.1007/BF02314424
- By:
- Publication type:
- Article
Logics based on partial Boolean σ-algebras.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 69, doi. 10.1007/BF02314425
- By:
- Publication type:
- Article
Embeddings of classical logic in S4.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 87, doi. 10.1007/BF02314426
- By:
- Publication type:
- Article
On functions definable in implicational algebras.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 101, doi. 10.1007/BF02314427
- By:
- Publication type:
- Article
Three contributions to the two-valued propositional calculus.
- Published in:
- Studia Logica, 1975, v. 34, n. 1, p. 121, doi. 10.1007/BF02314428
- By:
- Publication type:
- Article