ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS

Artikel in diesem Heft

1. Titelei
2. Contents
3. ON SOME BOUNDARY VALUE PROBLEM FOR THE EQUATION Δ u(X)+c²u(X)=0
4. ON CERTAIN CLASS OF REGULAR FUNCTIONS
5. TOTALLY UMBILICAL SURFACES IN SOME RIEMANNIAN MANIFOLDS
6. SOME RELATIONS BETWEEN THE CHARACTERISTIC FUNCTION T₀ (r) AND THE AREA FUNCTION A(r)
7. (ZQ)-COMPUTABLE SETS AND THEIR SETS OF GENERATORS
8. BASES OF AGGREGABLE SETS
9. О НЕКОТОРЫХ СРЕДНИХ РЯДА ФУРЬЕ
10. APPROXIMATE SOLUTION OF THE GENERALIZED LINEAR HILBERT PROBLEM FOR A SYSTEM OF FUNCTIONS
11. THE NONDETERMINISTIC SHIFT-REGISTERS
12. ON CONNECTIONS BETWEEN ALGEBRAIC AND KRIPKE SEMANTICS
13. ON SOME PROBLEM WITH FIXED SINGULARITIES OF VEKUA
14. ALGEBRAISCHE UNABHÄNGIGKEIT UND PRODUKTSUMMEN MINIMALER LÄNGE
15. DIE INDEXFORMEL FÜR EINE KLASSE VON AUSGEARTETEN SINGULÄREN INTEGRALOPERATOREN MIT CARLEMANSCHER VERSCHIEBUNG
16. 2-INNER PRODUCT SPACES II¹⁾
17. TWO PROBLEMS FOR ALMOST HERMITIAN MANIFOLDS
18. THE T-COMPUTABLE SETS AND FUNCTIONS
19. SOME ESTIMATES FOR FUNCTIONS OF TWO VARIABLES
20. EXTENSION OF ADDITIVE NON-NEGATIVELY HOMOGENEOUS FUNCTIONALS IN QUASILINEAR SPACES
21. ON A CERTAIN GENERALIZED BOUNDARY VALUE PROBLEM OF FUNCTION THEORY
22. ON WEAK ASSOCIATIVE LAWS IN COMMUTATIVE IP-LOOPS