BULLETIN OF THE SECTION OF LOGIC
Author Index

To find any word: author, title or key word; please, press "Ctrl-F".

S

SAAD S., Figallo A. V. and Ramon G.
iH-Propositional Calculus
157-162     35/4
SAARINEN, Esa
On the logic of perception sentences
72-76     11/1-2
SABALSKI, Bogdan
Some remarks about continuous Boolean algebras
192-194     2/3
SAGI, Gabor
A model theoretic characterization of complexity of theories
190-195     27/4
Non-Computability of the Equational Theory of Polyadic Algebras
155-164     30/3
Absolutely Ubiquitous Structures and א i0 - Stability
43-52     39/1-2
A Short Proof for the Completeness of Paramodulacion
147-152     39/3-4
SAGI, Gabor and Nemeti, Istvan and Madarasz, Judit
On the finitization problem of relational algebras
139-143     26/3
SAIN, Ildiko
Total correctness in nonstandard dynamic logic
64-70     12/2
Amalgamation, Epimorphisms and Definability Properties in Algebraic Logic
72-78     18/2
Computer sciences temporal logics need their clocks
153-160     18/4
On finitizing first order logic
66-79     23/2
SAIN, Ildiko and Nemeti, Istvan
Fork algebras in usual and in non-well-founded set theories. Part I
158-168     24/3
Fork algebras in usual and in non-well-founded set theories. Part II
182-192     24/4
SALONI, Zygmunt
The sequent Gentzen system for m-valued logic
30-37     2/1
SALTO, Francisco and Mendez, Jose
More on Peirce's law
27-38     28/1
SALTO, Francisco and Mendez, Jose and Robles, Gemma
Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles
195-206     28/4
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property
139-146     30/3
A Constructive Negation Defined with a Negation Connective for Logics Including Bp+
177-190     34/3
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant
45-58     36/1-2
SAMBIN, Giovanni
A simpler proof of Sahlqvist's theorem on completeness of modal logic
50-56     9/2
SAMIR Basim and Tarek Sayed Ahmed
Neat Embeddings and Amalgamation
163-172     35/4
SANDU, Gabriel
Partially interpreted logical constants
69     27/1-2
SANKAPPANAVAR, H. P.
Decision problems: history and methods
96-97     7/2
SANTA-TOTH, Edit and Szots, Miklos
Colloquium on logic programming 10-15 September 1978, Salgotarjan (Hungary)
206-213     8/4
SANZA C.A. and A.V. Figallo
The NSnxm-propositional Calculus
67-80     37/2
SARASIT, N. and Denecke,
Products of Tree Languages
13-36     40/1-2
SASAKI, Katsumi
The simple substitution property of the intermediate propositional logics
94-99     18/3
The disjunction property of the logics with axioms of only one variable
40-46     21/2
On Sequent Systems for Bimodal Provability Logics MOS and PRL1
91-102     31/2
SASAKI, Katsumi, and Shigeo, Ohama
A Sequent System of the Logic R- for Rosser Sentences
11-22     33/1
SCHEFLER, Uwe
A system of strict entailment FK with conditionals
61-65     19/2
SCHMIDT Renate A. and Dmitry Tishkovsky
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
27-36     31/1
SCHUMANN Andrew
Non-Archimedean Valued Predicate Logic
67-78     36/1-2
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
133-146     39/3-4
SCHUMANN Andrew and Andrei Khrennikov
Logical Approach to p-adic Probabilities
49-57     35/1
SCHOCK, Rolf
Complete systems of indexical logic
16-19     5/1
SCHUMM, George F.
Hallden-incomplete modal logics that are not strongly incomplete
158-160     22/4
SEGERBERG, Krister
How many logically constant actions are there?
134-139     21/4
A general framework for the logic of theory change
2-8     25/1
Belief revision and doxastic commitment
43-45     27/1-2
SEKI, Takahiro
Some Remarks on Maehara's Method
147-154     30/3
SELDIN, J. P.
A relevant validity in Curry's foundations
68-70     16/2
SEMENIUK-POLKOWSKA, Maria
Greatness measured by faith, talent, work and sufferning:
my memories of Helena Rasiowa
190-202     25/3-4
SENDLEWSKI, Andrzej
Pretabular varieties of N-lattices
17-20     12/1
Topological duality for Nelson algebras and its applications
215-221     13/4
SEREBRIANNIKOV, O. F.
Cut-elimination in second order logic
159-161     17/3-4
SERENY, Gyorgy
Compact cylindric set algebras
57-64     14/2
Lower level connections between representations of relation algebras
123-127     15/3
SERWECINSKA, Malgorzta
Communication Complexity in Linearly Ordered Sets
209-222     33/4
SETTE, Antonio M. and Alves, Elias H.
On the equivalence between two systems of paraconsistent logic
155-157     24/3
On the equivalence between some systems of nonclassical logic
68-72     25/2
SETTE, Antonio M. and Sette, J. S.
Functorialization of first-order language with finitely many predicates
97     7/2
SHIMURA, Tatsuya
On completeness of intermediate predicate logics with respect to Kripke semantics
41-45     24/1
Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics
107-114     30/2
Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees
111-118     31/2
SHIMURA, Tatsuya and Isoda, Eiko
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property
182-189     27/4
SHIMURA, Tatsuya and Suzuki, Nobu-Yuki
Some super-intuitionistic logics as the logical fragments of equational theories
106-112     22/3
SHRAMKO, Yaroslav and Wansing, Heinrich
Entailment Relations and/as Truth Values
131-144     36/3-4
SIDORENKO, E. A.
The law of contradiction and paradoxes of inference
162-169     17/3-4
Relevant semantics with binary relation of accessibility
168-178     26/4
Normalized inference and deduction theorem
59-62     27/1-2
SKORDEV, Dimiter
On a modal-type language for the predicate calculus
111-119     13/3
SKURA, Tomasz
A complete syntactical characterization of the intuitionistic logic
116-120     18/3
A new criterion of decidability for intermediate logics
10-14     19/1
On pure refutation formulations of sentential logics
102-107     19/3
Refutation rules for three modal logics
31-32     21/1
SLANEY, John K. and Bunder, Martin W.
Classical versions of BCI, BCK and BCIW logics
61-65     23/2
SLOMCZYNSKA, Katarzyna
Representation theorem for equivalential algebras
28-32     22/1
SLUPECKI, Jerzy
L -decidability and decidability
38-43     1/3
SLUPECKI, Jerzy and Bryll, Grzegorz
The proof of L-decidability of Lewis' System S5
32-34     1/1
SMIRNOV, Vladimir A.
An absolute first order predicate calculus
38-45     2/1
Internal and external logic
170-181     17/3-4
SMIRNOV, Vladimir A. and Novodvorsky, A.
Deductive logic course supported by interactive proof search software
55-56     27/1-2
SMIRNOVA, E. D.
An approach to non-standard semantics and some problems of the foundation of logical systems
82-84     27/1-2
SMOLENOV, Hristo
Paraconsistency, paracompleteness and intentional contradictions
8-16     12/1
Truthfulness and non-trivial contradictions
144-153    13/3
SOCHACKI, Robert
Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz
1-6     36/1-2
SOCHACKI, Robert and Bryll, Grzegorz
On a relationship between some classes of elimination operators and some classes
161-170     29/4
SOLOVYOV, Sergey A.
A Note on Nuclei of Quantale Algebras
91-112     40/1-2
SOLTYS, Michael
Extended Frege and Gaussian Elimination
189-206     31/4
SOLTYS, Michael, and Cook, Stephen
Internal models for any finite subset of the axioms of the impredicative theory of classes
119-130     28/3
SONENBERG, E. A.
On the metamathematics of ordinal arithmetics
136-137     6/3
SONOBE, Osamu
A note on R-S lemma
10-15     8/1
SOTIROV, Vladimir
Arithmetizations of the syllogistic a la Leibniz
156-163     27/4
SPASOWSKI, Maciej
Some connections between Cn, Cn-1 and dCn
46-50     2/1
The degrees of completeness of dual counterparts of Lukasiewicz sentential calculi
163-170     4/4
SPINKS Matthew and Robert Veroff
On a Homomorphism Property of Hoops
135-142     33/3
Slaney's Logic F** is Constructive Logic with Strong Negation
161-174     39/3-4
STACHNIAK, Zbigniew
Some notes on characteristic consequence operations
159-166     7/4
Note on generalized matrix semantics and the problem of supremum
82-86     17/2
On minimal resolution proof for resolution logics
94-101     26/2
Reasoning with partial situations
196-206     27/4
STAPLES, J.
Combinatory logics and lambda calculi as model programming languages
141-142     6/3
STARUCH, Bozena
Derivation from Partial Knowledge in Partial Models
75-84     32/1-2
STARUCH Bozena and STARUCH Bogdan
Possible Sets of Equations
85-95     32/1-2
STEFANOV, Anguel S.
Formal truth and objective truth
154-164     13/3
STEINACKER, Peter
A note on neighbourhoods
94-98     14/3
STEINSVOLD, Christopher
Completeness for Various Logics of Essence and Accident
93-102     37/2
STEPIEN, Teodor
A survey of minor Wajsberg's results concerning fragmentary
systems of the classical propositional calculus
103-106     2/2
System S -
75-79     10/2
Craig-Goedel-Lindenbaum's property and Sobocinski-Tarski's property
in propositional calculi
116-121     10/3
The sufficient and necessary condition for Tarski's property
in Lindenbaum's extensions
222-225     13/4
On number of Lindenbaum's oversystems of propositional and predicate calculi
34-40     14/1
Logic based on atomic entailment
65-71     14/2
SUCHON, Wojciech
On non-equivalence of two definitions of the algebras of Lukasiewicz
35-37     1/1
Non-equivalence of certain definitions of infinite Lukasiewicz algebras
10-16     1/2
Application of the theory of logical matrices in the independence proofs
121-126     2/2
On defining Moisil's functors in n-valued Lukasiewicz propositional logic
195-196     2/3
Matrix Lukasiewicz algebras
9-16     3/3-4
An elementary method of determining the degree of completeness of n-valued
Lukasiewicz propositional calculus
226-229     13/4
Counting formulae of propositional calculus
10-13     20/1
SUNDHOLM, Goran
A completeness proof for an infinitary tense logic
70-73     6/2
SURMA, Stanislaw J.
The deduction theorems valid in certain fragments of the Lewis' system S2
and the system of Feys-von Wright
45-52     1/1
A uniform method of proof of the completeness theorem for the equivalential
propositional calculus and for some of its extensions
53-62     1/1
A method of axiomatization of two-valued propositional connectives
32-37     1/4
The conference on the scientific achievement of Mordchaj Wajsberg
87-90     2/2
Mordchaj Wajsberg. Life and works
91-96     2/2
A method of the construction of Lukasiewiczian algebras and its application to
Gentzen-style characterization of Lukasiewiczian logics
139-143     2/2
SURMA, S. J., Wronski, A. and Zachorowski, S.
On Jaskowski-type semantics for the intuitionistic propositional logic
6-10     3/2
SUSZKO, Roman
Equational logic and theories in sentential language
2-9     1/2
A note on modal systems and SCI
38-41     1/4
A note on adequate models for non-Fregean sentential calculi
42-45     1/4
A note on intuitionistic sentential calculus (ISC)
20-21     3/1
Some notions and theorems of McKinsey and Tarski and SCI
3-5     3/2
Remarks on Lukasiewicz three-valued logic
87-90     4/3
A note on the least Boolean theory in SCI
136-137     4/4
On filters and closure systems
151-155     6/4
SUSZKO, Roman and Weinfeld, Tamara
Filters and natural extensions of closure systems
130-132     8/3
SUZUKI, Nobu-Yuki
Intermediate logics characterized by a class of algebraic frames with infinite
individual domain
63-71     18/2
A remark on the delta operation and the Kripke sheaf semantics
in super-intuitionistic predicate logics
21-28     25/1
A remark on super-intuitionistic predicate logics having the same propositional fragment
107-115     28/2
SWIETORZECKA, Kordula
Between the Logic of Parmenides and the Logic of Liar
123-134     38/3-4
SWIRYDOWICZ, Kazimierz
Regular modal logics inconsistent if LT is added:
a contribution to the topography of the lattice of modal logics
47-54     21/2
SYLVAN, Richard
A relevant invalidity in Curry's foundations
51-53     16/1
A generous Jainist interpretation of core Relevant logics
58-67     16/2
Blending semantics for if as a one-place nonassertive with semantics for the conditional
67-71     21/2
SYLVAN, Richard and Priest, Graham
Answering another alleged dilemma destroying dialethism
42-52     17/1
SZCZECH, Wladyslaw
Axiomatizability of finite matrices
118-120     2/2
SZCZERBA, L. W.
Interpretations
208-213     12/4
SZYMANEK, Krzysztof
On information functions, part one: basic formal properties
2-12     18/1
On information functions, part two: applications to the logic of theory change
13-19     18/1
Classical subtheories and intuitionism
112-115     18/3


BULLETIN OF THE SECTION OF LOGIC