G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.

1966 ◽  
Vol 31 (3) ◽  
pp. 501-502
Author(s):  
Arto Salomaa
Keyword(s):  
English Translation ◽  
Boolean Functions ◽  
Nauk Sssr ◽  
Akademii Nauk Sssr ◽  
Doklady Akademii Nauk Sssr ◽  
Multivalued Logics

S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77.

1983 ◽  
Vol 48 (2) ◽  
pp. 488-495 ◽  
Author(s):  
R. A. Bull
Keyword(s):  
Modal Logic ◽  
English Translation ◽  
Nauk Sssr ◽  
Symbolic Logic ◽  
Relational Semantics ◽  
Akademii Nauk Sssr ◽  
Doklady Akademii Nauk Sssr ◽  
Propositional Modal Logic ◽  
Relational Frame ◽  
Incompleteness Theorems
Sign in / Sign up

Export Citation Format

Share Document