A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W142105915
@@ Property / OpenAlex ID: W142105915 / 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 @@
+Q4699343
@@ Property / cites work: Q4699343 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q4412849
@@ Property / cites work: Q4412849 / rank @@
+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 @@
+Gentzen calculi for the existence predicate
@@ Property / cites work: Gentzen calculi for the existence predicate / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination inside a deep inference system for classical predicate logic
+Normal rank
@@ Property / cites work @@
+How to Universally Close the Existential Rule
@@ Property / cites work: How to Universally Close the Existential Rule / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretical investigation of global intuitionistic (fuzzy) logic
+Normal rank
@@ Property / cites work @@
+A Cut‐Free Calculus For Dummett's LC Quantified
@@ Property / cites work: A Cut‐Free Calculus For Dummett's LC Quantified / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness theorem for Dummett's LC quantified and some of its extensions
+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 @@
+A deterministic terminating sequent calculus for Godel-Dummett logic
+Normal rank
@@ Property / cites work @@
+A Note on Linear Kripke Models
@@ Property / cites work: A Note on Linear Kripke Models / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination for a logic with definitions and induction
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Solution to a problem of Ono and Komori
@@ Property / cites work: Solution to a problem of Ono and Komori / rank @@
+Normal rank
@@ Property / cites work @@
+A Local System for Intuitionistic Logic
@@ Property / cites work: A Local System for Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3010373