Restricted interpolation property in superintuitionistic logics (Q431670): Difference between revisions

@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-009-9042-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2043421046
@@ Property / OpenAlex ID: W2043421046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936636
@@ Property / cites work: Q4936636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713994
@@ Property / cites work: Q2713994 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in Normal Extensions of S4
@@ Property / cites work: Definability in Normal Extensions of S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective Beth property in extensions of Grzegorczyk logic
+Normal rank
@@ Property / cites work @@
+The Projective Beth Property and Interpolation in Positive and Related Logics
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430408
@@ Property / cites work: Q4430408 / rank @@
+Normal rank