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
Copyright © Mon Nov 2 21:54:15 2009
by Michael Ley (ley@uni-trier.de)
