MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516): Difference between revisions

@@ 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/3-540-61511-3_84
+Normal rank
@@ Property / OpenAlex ID @@
+W2145733904
@@ Property / OpenAlex ID: W2145733904 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based theorem proving for many-valued logics
+Normal rank
@@ Property / cites work @@
+Q4282535
@@ Property / cites work: Q4282535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142560
@@ Property / cites work: Q3142560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840168
@@ Property / cites work: Q4840168 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Commodious axiomatization of quantifiers in multiple-valued logic
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic I
@@ Property / cites work: Sequents in many valued logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
+Normal rank
@@ Property / cites work @@
+Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
+Normal rank