The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Luciano J. González (2019)
Mathematica Bohemica
Similarity:
This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.
B. WALSH (1968)
Mathematische Annalen
Similarity:
G.A. JENSEN (1969)
Mathematische Annalen
Similarity:
D.A. Kappos, F. PAPANGELOU (1966)
Mathematische Annalen
Similarity:
R. Harrop (1956/57)
Mathematische Annalen
Similarity:
R. Péter (1935)
Mathematische Annalen
Similarity:
A. Rose (1952/53)
Mathematische Annalen
Similarity:
H. Wang (1963)
Mathematische Annalen
Similarity:
John Venn
Similarity:
Nehad N. Morsi, E. A. Aziz Mohammed, M. S. El-Zekey (2002)
Mathware and Soft Computing
Similarity:
J.A. KALMAN (1959)
Mathematische Annalen
Similarity:
Th. Skolem (1958)
Mathematica Scandinavica
Similarity:
E. ENGELER (1963)
Mathematische Annalen
Similarity:
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity:
J.L. KELLEY, T.P. SRINIVASAN (1970/71)
Mathematische Annalen
Similarity:
G.D. CROWN (1970)
Mathematische Annalen
Similarity: