The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966): Difference between revisions

@@ Property / cites work @@
+Classical negation can be expressed by one of its halves
+Normal rank
@@ Property / cites work @@
+Universal logic: An anthology. From Paul Hertz to Dov Gabbay
+Normal rank
@@ Property / cites work @@
+Around and beyond the square of opposition
@@ Property / cites work: Around and beyond the square of opposition / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818305
@@ Property / cites work: Q3818305 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded consequence: further studies
@@ Property / cites work: Graded consequence: further studies / rank @@
+Normal rank
@@ Property / cites work @@
+Graded consequence: an institution theoretic study
+Normal rank
@@ Property / cites work @@
+Ultraproducts and possible worlds semantics in institutions
+Normal rank
@@ Property / cites work @@
+Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
+Normal rank
@@ Property / cites work @@
+Monadic extensions of institutions
@@ Property / cites work: Monadic extensions of institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank