Volume 52, Number 1, February 1993
- Josep Maria Font, Ventura Verdú:
The lattice of distributive closure operators over an algebra.
1-14

- Tsutomu Hosoi, Isao Masuda:
A study of intermediate propositional logics on the thrid slice.
15-22

- Tatsuya Shimura:
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
23-40

- Katsumi Sasaki:
The simple substitution property of the intermediate propositional logics on finite slices.
41-62

- Wolfgang Rautenberg:
On reduced matrices.
63-72

- Nobu-Yuki Suzuki:
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
73-94

- Sergiu Rudeanu:
On Lukasiewicz-Moisil algebras of fuzzy sets.
95-112

- Richard B. White:
A consistent theory of attributes in a logic without contraction.
113-142

- Vladimir L. Vasyukov:
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics.
143-168

Volume 52, Number 2, May 1993
Automated Theorem Proving for Non-Classical Logics
Volume 52, Number 3, August 1993
Volume 52, Number 4, November 1993
Last update Thu May 23 19:29:06 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page