Hypersequent calculi for intuitionistic logic with classical atoms (Q636282): Difference between revisions

@@ Property / author @@
-Hidenori Kurokawa
@@ Property / author: Hidenori Kurokawa / rank @@
-Normal rank
@@ Property / author @@
+Hidenori Kurokawa
@@ Property / author: Hidenori Kurokawa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ 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.1016/j.apal.2009.07.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1963559850
@@ Property / OpenAlex ID: W1963559850 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449226
@@ Property / cites work: Q4449226 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic intuitionistic logic of proofs
@@ Property / cites work: The basic intuitionistic logic of proofs / rank @@
+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 @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Two types of multiple-conclusion systems
@@ Property / cites work: Two types of multiple-conclusion systems / rank @@
+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 @@
+A proof-theoretical investigation of global intuitionistic (fuzzy) logic
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical constants as punctuation marks
@@ Property / cites work: Logical constants as punctuation marks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385438
@@ Property / cites work: Q4385438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating classical and intuitionistic type theory
+Normal rank
@@ Property / cites work @@
+On the unity of logic
@@ Property / cites work: On the unity of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interval semantics for tense logic: Some remarks
@@ Property / cites work: Interval semantics for tense logic: Some remarks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518866
@@ Property / cites work: Q4518866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional mixed logic: its syntax and semantics
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Globalization of intuitionistic set theory
@@ Property / cites work: Globalization of intuitionistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of global intuitionistic set theory
@@ Property / cites work: Completeness of global intuitionistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank