On an intuitionistic logic for pragmatics

DOI10.1093/LOGCOM/EXV036zbMATH Open1444.03005OpenAlexW2508249339MaRDI QIDQ4612430FDOQ4612430

Authors: Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi 

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

Recommendations

• Towards a Logic for Pragmatics. Assertions and Conjectures
• scientific article; zbMATH DE number 140371
• A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
• scientific article; zbMATH DE number 1870417
• A new semantics for intuitionistic predicate logic
• scientific article; zbMATH DE number 1390272
• On an intuitionistic modal logic
• scientific article; zbMATH DE number 1028820
• On modal renderings of intuitionistic propositional logic
• scientific article; zbMATH DE number 1873426

zbMATH Keywords

logic for pragmaticsmeaning-as-usespeech-acts theorycomputational 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)

Cited In (12)

• Abductive inference within a pragmatic framework
• The pleasures of anticipation: Enriching intuitionistic logic
• Errata corrige to ``Pragmatic and dialogic interpretation of bi-intuitionism. I
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication
• The logical burdens of proof. Assertion and hypothesis
• Title not available (Why is that?)
• On assertion and denial in the logic for pragmatics
• We don't know we don't know: asserting ignorance
• Towards a Logic for Pragmatics. Assertions and Conjectures
• Title not available (Why is that?)
• Towards an intuitionistic deontic logic tolerating conflicting obligations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612430)