On an intuitionistic logic for pragmatics

DOI10.1093/logcom/exv036zbMath1444.03005OpenAlexW2508249339MaRDI QIDQ4612430

Gianluigi Bellin, Daniele Chiffi, Massimiliano Carrara

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://philpapers.org/rec/BELOAI-3

zbMATH Keywords

logic for pragmaticsspeech-acts theorymeaning-as-usecomputational interpretations of co-intuitionism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

The Logical Burdens of Proof. Assertion and Hypothesis ⋮ Towards an intuitionistic deontic logic tolerating conflicting obligations ⋮ We don't know we don't know: asserting ignorance ⋮ Abductive inference within a pragmatic framework

This page was built for publication: On an intuitionistic logic for pragmatics