Volume 52, Number 1, February 1993
- Josep Maria Font, Ventura Verdú:
The lattice of distributive closure operators over an algebra.
- Tsutomu Hosoi, Isao Masuda:
A study of intermediate propositional logics on the thrid slice.
- Tatsuya Shimura:
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
- Katsumi Sasaki:
The simple substitution property of the intermediate propositional logics on finite slices.
- Wolfgang Rautenberg:
On reduced matrices.
- Nobu-Yuki Suzuki:
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
- Sergiu Rudeanu:
On Lukasiewicz-Moisil algebras of fuzzy sets.
- Richard B. White:
A consistent theory of attributes in a logic without contraction.
- Vladimir L. Vasyukov:
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics.
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