BULLETIN OF THE SECTION OF LOGIC
Author Index

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

A


ABAR, Celina A.A.P., and Mineko Yamashita
Remarks on variable binding term operators
145-151     15/4
ABE, Jair Minoro
A note on Curry algebras
151-158     16/4
ADILLON, Roma J., and Ventura Verdu
A Gentzen system equivalent to the BCK-logic
73-79     25/2
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System
125-134     31/3
AHMED, Tarek Sayed
A Confirmation of a Conjecture of Tarski
103-106     32/3
Omitting Types for Finite Variable Fragments of First Order Logic
115-120     32/3
A Sufficient and Necessary Condition for Omitting Types
23-28     34/1
An Independence Result in Algebraic Logic
29-36     34/1
Algebras of Sentences
1-10     35/1
A Non-finitizability Result in Algebraic Logic
21-28     36/1-2
Neat Embedding is not Sufficient for Complete Representability
29-36     36/1-2
A Note on Atom Structures of Relation and Cylindric Algebras
29-36     37/1
Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result
37-50     37/1
The class of neat reducts is not Boolean closed
51-61     37/1
Variations on Martin's Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology
103-114     37/2
Classes of Representable Algebras with the Amalgamation property
115-122     37/2
RaCAn is not elementary, for n>4
123-136     37/2
AHMED Tarek Sayed and Basim Samir
Neat Embeddings and Amalgamation
163-172     35/4
AHMED, Tarek Sayed and Khaled, Mohamed
Classes of Algebras that are not Closed under Completions
29-44     38/1-2
Vaught's Theorem holds for L2 but fails for Ln when n > 2
107-122     39/3-4
ALVES, Elias H.
On the decidability of a system of dialectical propositional logic
179-184     7/4
The first axiomatization of a paraconsistent logic
19-20     21/1
ALVES, Elias H., and Jose E. de Almeida Moura
On some higher-order predicate calculi
84-85     7/2
AMARAL, Fernando Naufel do, and Eward Hermann Haeusler
Completeness of an action logic for timed transition Systems
151-160     29/4
AMBAS, Olga
On Lukasiewicz and Schmitt three-valued logics
80-84     22/2
ANDREKA, Hajnal, Peter Burmeister, and Istvan Nemeti
Quasi equational logic of partial algebras
193-199     9/4
ANDREKA, Hajnal, Steven Givant, and Istvan Nemeti
Decision problems for equational theories of relation algebras
47-52     23/2
ANDREKA, Hajnal, and Istvan Nemeti
Completeness of Floyd logic
115-120     7/3
On universal algebraic logic and cylindric algebras
152-158     7/4
Not all representable cylindric algebras are neat reducts
145-147     8/3
ANDREKA, Hajnal, Istvan Nemeti, and Ildiko Sain
Program verification within and without logic
124-129     8/3
ANISOV, A. M.
The semantics of uncertainty
70-71     27/1-2
AOTO, Takahito, and Hiroakira Ono
Non-uniqueness of normal proofs for minimal formulas
in implication-conjunction fragment of BCK
104-112     23/3
ARIAS, Javier Vilanova
A possible world semantics for conditional logic based on similarity relations
132-139     24/3
ARPAIA, Roberto
On a Substructural Logic with Minimal Negation
143-156     33/3
ARRUDA, Ayda I.
Some remarks on Griss' logic of negationless intuitionistic mathematics
85-86     7/2
ARRUDA, Ayda I., and Elias H. Alves
Some remarks on the logic of vagueness
133-138     8/3
A semantical study of some systems of vagueness logic
139-144     8/3
ASHER, Nicholas, and Mao, Yi
Negated defaults in commonsense entailment
41-60     30/1

BULLETIN OF THE SECTION OF LOGIC