On the logical philosophy of assertive graphs
From MaRDI portal
Publication:2228440
DOI10.1007/s10849-020-09315-6zbMath1477.03004OpenAlexW3018196738MaRDI QIDQ2228440
Ahti-Veikko Pietarinen, Daniele Chiffi
Publication date: 17 February 2021
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-020-09315-6
assertioninferentialismPeirceexistential graphsdeep inferenceassertive graphsclassical vs. non-classical logical graphs
Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionism. An introduction
- Signs of logic. Peircean themes on the philosophy of language, games, and communication
- Proof theory for admissible rules
- Constructivism in mathematics. An introduction. Volume II
- Implicit epistemic aspects of constructive logic
- Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18--22, 2018. Proceedings
- On the length of medial-switch-mix derivations
- Assertion and denial: Aa contribution from logical notations
- Gamma graph calculi for modal logics
- Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings
- Proof analysis of Peirce's alpha system of graphs
- On the proof complexity of deep inference
- What is Logic?
- Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
- Assertion and hypothesis: a logical framework for their opposition relations:
- The basic intuitionistic logic of proofs
- Assertive graphs
- Spider Diagrams
- EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
This page was built for publication: On the logical philosophy of assertive graphs
