Pragmatic and dialogic interpretations of bi-intuitionism. Part I
From MaRDI portal
Publication:2987724
DOI10.12775/LLP.2014.011zbMath1364.03018MaRDI QIDQ2987724
Massimiliano Carrara, Daniele Chiffi, Gianluigi Bellin, Alessandro Menti
Publication date: 18 May 2017
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
03F05: Cut-elimination and normal-form theorems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
The Logical Burdens of Proof. Assertion and Hypothesis, Structuring co-constructive logic for proofs and refutations, Is the principle of contradiction a consequence of \(x^2=x\)?, On assertion and denial in the logic for pragmatics, Abductive inference within a pragmatic framework, We don't know we don't know: asserting ignorance, Dualized Simple Type Theory, Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”
Uses Software
Cites Work
- Linear logic
- Natural deduction for dual-intuitionistic logic
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- A remark on Gentzen's calculus of sequents
- Applications of Kripke models to Heyting-Brouwer logic
- Dual-intuitionistic logic
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Game Semantics in String Diagrams
- The Logic of Contradiction
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Towards a Logic for Pragmatics. Assertions and Conjectures
- A Formulae-as-Types Interpretation of Subtractive Logic
- On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
- Constructible falsity
- Some theorems about the sentential calculi of Lewis and Heyting
- Subtractive logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item