Interpolation in Normal Extensions of the Brouwer Logic

• Autorzy: Zofia Kostrzycka
• Języki publikacji: EN

Abstrakty

EN

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

Słowa kluczowe

EN

normal extensions of the Brouwer logics; Kripke frames; interpolation property; amalgamation property

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2016
• Tom: 45
• Numer: 3/4

Daty

wydano

2016-12-30

Twórcy

autor

Zofia Kostrzycka

Identyfikatory

DOI

10.18778/0138-0680.45.3.4.03