Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724): Difference between revisions

@@ Property / describes a project that uses @@
+Carneades
@@ Property / describes a project that uses: Carneades / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Proof Theory of Co-Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+Towards a Logic for Pragmatics. Assertions and Conjectures
+Normal rank
@@ Property / cites work @@
+On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
+Normal rank
@@ Property / cites work @@
+Subtractive logic
@@ Property / cites work: Subtractive logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Formulae-as-Types Interpretation of Subtractive Logic
+Normal rank
@@ Property / cites work @@
+A remark on Gentzen's calculus of sequents
@@ Property / cites work: A remark on Gentzen's calculus of sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Contradiction
@@ Property / cites work: The Logic of Contradiction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978982
@@ Property / cites work: Q3978982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4724624
@@ Property / cites work: Q4724624 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Game Semantics in String Diagrams
@@ Property / cites work: Game Semantics in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5271409
@@ Property / cites work: Q5271409 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+Normal rank
@@ Property / cites work @@
+Dual intuitionistic logic and a variety of negations: the logic of scientific research
+Normal rank
@@ Property / cites work @@
+Natural deduction for dual-intuitionistic logic
@@ Property / cites work: Natural deduction for dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2987724