On an intuitionistic logic for pragmatics-Reference-Cited by-同舟云学术

On an intuitionistic logic for pragmatics

Published:2015-07-04 Issue: Volume: Page:exv036
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:J Logic Computation

Author:

Bellin Gianluigi,Carrara Massimiliano,Chiffi Daniele

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/doi/10.1093/logcom/exv036/9565508/exv036.pdf

Reference53 articles.

1. N. Alechina, M. Mendler, V. de Paiva and E. Ritter. Categorical and Kripke Semantics for Constructive S4 Modal Logic, In Proceedings of the 15th International Workshop on Computer Science Logic, CSLÕ01, Lecture Notes in Computer Science, Vol. 2142, L. Fribourg, Ed., pp. 292–307. Springer, 2001.

2. The Techniques of Disputation in the History of Logic

3. Explicit Provability and Constructive Semantics

4. The basic intuitionistic logic of proofs

5. Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards a polarized semantics for assertion and denial;Logic Journal of the IGPL;2024-07-22

2. Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations;Logic, Language, Information, and Computation;2022

3. Assertion, Conjunction, and Other Signs of Logic: A Contribution to the Philosophy of Notation;Transactions of the Charles S. Peirce Society;2021

4. From Knowability to Conjecturability;Contemporary Pragmatism;2020-07-31

5. Pragmatic logics for hypotheses and evidence;Logic Journal of the IGPL;2019-12-05