Pragmatic and dialogic interpretations of bi-intuitionism. Part I

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)

zbMATH Keywords

categorical proof theorybi-intuitionismjustificationismmeaning-asusespeech-acts theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ The Logical Burdens of Proof. Assertion and Hypothesis ⋮ On assertion and denial in the logic for pragmatics ⋮ 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” ⋮ Abductive inference within a pragmatic framework ⋮ Structuring co-constructive logic for proofs and refutations

Uses Software

• Carneades

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Pragmatic and dialogic interpretations of bi-intuitionism. Part I