ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878): Difference between revisions

@@ Property / cites work @@
+A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
+Normal rank
@@ Property / cites work @@
+Q4943495
@@ Property / cites work: Q4943495 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified semantic framework for fully structural propositional sequent systems
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124817
@@ Property / cites work: Q4124817 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to Maksimova's principle of variable separation for some substructural logics
+Normal rank
@@ Property / cites work @@
+Q4699355
@@ Property / cites work: Q4699355 / 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 @@
+Q5633993
@@ Property / cites work: Q5633993 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+Normal rank
@@ Property / cites work @@
+Q4133941
@@ Property / cites work: Q4133941 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for an extension of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Heyting algebras with dual pseudocomplementation
@@ Property / cites work: Heyting algebras with dual pseudocomplementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032549
@@ Property / cites work: Q4032549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4443189
@@ Property / cites work: Q4443189 / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminator varieties of double-Heyting algebras
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s175502031600040x
+Normal rank
@@ Property / OpenAlex ID @@
+W2559873117
@@ Property / OpenAlex ID: W2559873117 / rank @@
+Normal rank