Modulated fibring and the collapsing problem (Q4451732): Difference between revisions

@@ Property / author @@
+Cristina Sernadas
@@ Property / author: Cristina Sernadas / rank @@
+Normal rank
@@ Property / author @@
+João Rasga
@@ Property / author: João Rasga / rank @@
+Normal rank
@@ Property / author @@
+Walter Alexandre Carnielli
@@ Property / author: Walter Alexandre Carnielli / 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.2178/jsl/1190150298
+Normal rank
@@ Property / OpenAlex ID @@
+W2036986624
@@ Property / OpenAlex ID: W2036986624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-Heyting algebras, toposes and modalities
@@ Property / cites work: Bi-Heyting algebras, toposes and modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Contradiction
@@ Property / cites work: The Logic of Contradiction / rank @@
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Why combine logics?
@@ Property / cites work: Why combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring: completeness preservation
@@ Property / cites work: Fibring: completeness preservation / rank @@
+Normal rank