A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648): 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/978-3-642-20712-9_36
+Normal rank
@@ Property / OpenAlex ID @@
+W114142788
@@ Property / OpenAlex ID: W114142788 / 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 @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Proof of Completeness and Cut-admissibility for Propositional Godel Logic
+Normal rank
@@ Property / cites work @@
+Decomposition proof systems for Gödel-Dummett logics
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+First-order Gödel logics
@@ Property / cites work: First-order Gödel logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753673
@@ Property / cites work: Q2753673 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic trees for Dummett's logic LC
@@ Property / cites work: Semantic trees for Dummett's logic LC / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic terminating sequent calculus for Godel-Dummett logic
+Normal rank
@@ Property / cites work @@
+Decision methods for linearly ordered Heyting algebras
+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 @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3007648