- 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
Continuity, freeness, and filtrations
Journal of Applied Non-Classical Logics 20 (3):193-217 (2010)
Abstract
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free ????4-algebras.My notes
Similar books and articles
On formalism freeness: Implementing gödel's 1946 princeton bicentennial lecture.Juliette Kennedy - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
Residuation, structural rules and context freeness.Gerhard Jäger - 2004 - Journal of Logic, Language and Information 13 (1):47-59.
Λ-terms, logic, determiners and quantifiers.Fairouz Kamareddine - 1992 - Journal of Logic, Language and Information 1 (1):79-103.
Envy Freeness in Experimental Fair Division Problems.Dorothea K. Herreiner & Clemens D. Puppe - 2009 - Theory and Decision 67 (1):65-100.
Fair division of indivisible items.Steven J. Brams, Paul H. Edelman & Peter C. Fishburn - 2003 - Theory and Decision 55 (2):147-180.
Characterising Near Continuity Constructively.Douglas Bridges & Luminiţa Vîţă - 2001 - Mathematical Logic Quarterly 47 (4):535-538.
The continuity of consciousness.Roger T. Simonds - 1996 - Journal of Value Inquiry 30 (1-2):293-296.
The Continuity of Consciousness.Oliver Rashbrook - 2011 - European Journal of Philosophy 21 (4):611-640.
Unacceptable risks and the continuity axiom.Karsten Klint Jensen - 2012 - Economics and Philosophy 28 (1):31-42.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Evidence against the context-freeness of natural language.Stuart M. Shieber - 1985 - Linguistics and Philosophy 8 (3):333 - 343.
Vacuous relatives and the (non-) context-freeness of English.Francis Jeffry Pelletier - 1988 - Linguistics and Philosophy 11 (3):255 - 260.
Argument or no argument?Geoffrey K. Pullum & Kyle Rawlins - 2007 - Linguistics and Philosophy 30 (2):277 - 287.
Phenomenal Continuity and the Bridge Problem.Johan E. Gustafsson - 2011 - Philosophia 39 (2):289-296.
Analytics
Added to PP
2013-12-19
Downloads
13 (#1,010,467)
6 months
3 (#992,474)
2013-12-19
Downloads
13 (#1,010,467)
6 months
3 (#992,474)
Historical graph of downloads
Citations of this work
Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
Stable modal logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
Admissible Bases Via Stable Canonical Rules.Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze - 2016 - Studia Logica 104 (2):317-341.
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.
References found in this work
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
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-7c76586df8-5tf24 uwo