A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP

DOI10.1093/LOGCOM/13.5.755MaRDI QIDQ4444938zbMATH OpenOpenAlexFDO

Authors Gianluigi Bellin, Kurt Ranalter

Publication date 28 January 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/13.5.755

zbMATH Keywords

substructural logicKripke semanticsproof search

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Towards a Logic for Pragmatics. Assertions and Conjectures
• scientific article; zbMATH DE number 1870417
• The basic intuitionistic logic of proofs
• scientific article; zbMATH DE number 6787681
• A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication

Cited in

(7)

• scientific article; zbMATH DE number 3880663 (Why is no real title available?)
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
• On an intuitionistic logic for pragmatics
• A semantic analysis of a logic for pragmatics with assertions, obligations, and causal implication
• Toward a systematic pragmatics
• On Dummett's pragmatist justification procedure
• Towards a Logic for Pragmatics. Assertions and Conjectures

This page was built for publication: A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP

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