The super-amalgamation property of the variety of ortholattices

• Autorzy: Miyazaki Y.
• Języki publikacji: EN

Abstrakty

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.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1999
• Tom: No. 33
• Strony: 45--63

Twórcy

autor

Miyazaki Y.