Kripke Semantics for Basic Sequent Systems (Q3010359): 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-22119-4_6
+Normal rank
@@ Property / OpenAlex ID @@
+W178931755
@@ Property / OpenAlex ID: W178931755 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal systems having arithmetical interpretations
+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 @@
+Q4450442
@@ Property / cites work: Q4450442 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+On Constructive Connectives and Systems
@@ Property / cites work: On Constructive Connectives and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+Subtractive logic
@@ Property / cites work: Subtractive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Logic of infons
@@ Property / cites work: Logic of infons / rank @@
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank