PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Reports on Mathematical Logic
Autorzy help
  1. 1 Miyazaki Y.
Lata help
  1. 1 1999
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote The super-amalgamation property of the variety of ortholattices
Miyazaki Y.
Reports on Mathematical Logic
|
1999
|
No. 33
45-63
EN
It is shown that the variety of ortholattices is superamalgamable. From this fact, it is proved, by an algebraic argument, that the minimum orthologic and its first order predicate extension have the Craig's interpolation property.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.