- 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
On decidable consequence operators
Studia Logica 45 (4):415 - 424 (1986)
Abstract
The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.Other Versions
No versions found
My notes
Similar books and articles
Universality of the closure space of filters in the algebra of all subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
Approximate Reasoning Based on Similarity.M. Ying, L. Biacino & G. Gerla - 2000 - Mathematical Logic Quarterly 46 (1):77-86.
General logic-systems and finite consequence operators.Robert A. Herrmann - 2007 - Logica Universalis 1 (1):201-208.
Information algebras and consequence operators.Jürg Kohlas & Robert F. Stärk - 2007 - Logica Universalis 1 (1):139-165.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Graded consequence relations and fuzzy closure operator.Giangiacomo Gerla - 1996 - Journal of Applied Non-Classical Logics 6 (4):369-379.
From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 3--17.
Logic TK: Algebraic Notions from Tarski’s Consequence Operator DOI:10.5007/1808-1711.2010v14n1p47.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Analytics
Added to PP
2009-01-28
Downloads
75 (#279,505)
6 months
7 (#706,906)
2009-01-28
Downloads
75 (#279,505)
6 months
7 (#706,906)
Historical graph of downloads
Citations of this work
Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
References found in this work
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Universality of the closure space of filters in the algebra of all subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
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-559df78dcc-zvk2b uwo