From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337): Difference between revisions

@@ Property / cites work @@
+Structure in Mathematics and Logic: A Categorical Perspective
+Normal rank
@@ Property / cites work @@
+Q5755187
@@ Property / cites work: Q5755187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440796
@@ Property / cites work: Q4440796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3466602
@@ Property / cites work: Q3466602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5354802
@@ Property / cites work: Q5354802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4822151
@@ Property / cites work: Q4822151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4678353
@@ Property / cites work: Q4678353 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q3926553
@@ Property / cites work: Q3926553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138872
@@ Property / cites work: Q4138872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123322
@@ Property / cites work: Q4123322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978982
@@ Property / cites work: Q3978982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807625
@@ Property / cites work: Q4807625 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4025003
@@ Property / cites work: Q4025003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840146
@@ Property / cites work: Q4840146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841568
@@ Property / cites work: Q4841568 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for modal operators on locales
@@ Property / cites work: Formal systems for modal operators on locales / 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 @@
+Q4116428
@@ Property / cites work: Q4116428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401922
@@ Property / cites work: Q4401922 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logics and Suszko's thesis revisited
@@ Property / cites work: Many-valued logics and Suszko's thesis revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring the universe of universal logic
@@ Property / cites work: Structuring the universe of universal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Suszko's thesis, inferential many-valuedness, and the notion of a logical system
+Normal rank