A family of Gödel hybrid logics (Q631082): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2010.08.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2080568060
@@ Property / OpenAlex ID: W2080568060 / rank @@
+Normal rank
@@ Property / cites work @@
+Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
+Normal rank
@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721190
@@ Property / cites work: Q2721190 / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190106
@@ Property / cites work: Q4190106 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086942
@@ Property / cites work: Q3086942 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding Resource Consumption with Gödel-Dummett Logics
+Normal rank
@@ Property / cites work @@
+Graph-based decision for Gödel-Dummett logics
@@ Property / cites work: Graph-based decision for Gödel-Dummett logics / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
@@ Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank @@
+Normal rank