- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Prolegomena of a logic of causality and dynamism
Studia Logica 62 (1):77-105 (1999)
Abstract
We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.My notes
Similar books and articles
Prolegomena of a Logic of Causality and Dynamism.Patrick Bellot, Jean-Pierre Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre & Emmanuel Zarpas - 1999 - Studia Logica 62 (1):77-105.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic. [REVIEW]Martin Mose Bentzen - 2010 - Studia Logica 96 (1):117-124.
Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Cut Elimination inside a Deep Inference System for Classical Predicate Logic.Kai Brünnler - 2006 - Studia Logica 82 (1):51-71.
On the logic of β -pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323 - 342.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Analytics
Added to PP
2009-01-28
Downloads
8 (#1,345,183)
6 months
40 (#99,457)
2009-01-28
Downloads
8 (#1,345,183)
6 months
40 (#99,457)
Historical graph of downloads
Citations of this work
Substructural logics, pragmatic enrichment, and the inferential role of logical constants.Pilar Terrés Villalonga - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):628-654.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-lc8fp uwo