- 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
A deduction theorem schema for deductive systems of propositional logics
Studia Logica 50 (3-4):385 - 390 (1991)
Abstract
We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) L and p, A(p, q) s q.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
A new representation theorem for contranegative deontic logic.Sven Ove Hanson - 2004 - Studia Logica 77 (1):1 - 7.
Maximal chains in the fundamental order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
Hechler's theorem for tall analytic p-ideals.Barnabás Farkas - 2011 - Journal of Symbolic Logic 76 (2):729 - 736.
Ploucquet’s “Refutation” of the Traditional Square of Opposition.Wolfgang Lenzen - 2008 - Logica Universalis 2 (1):43-58.
Ultrafilters, monotone functions and pseudocompactness.M. Hrušák, M. Sanchis & Á Tamariz-Mascarúa - 2005 - Archive for Mathematical Logic 44 (2):131-157.
Definable $(\omega,2)$ -theorem for families with vc-codensity less than $2$. [REVIEW]Pablo Andújar Guerrero - 2024 - Journal of Symbolic Logic 89 (4):1659-1668.
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Analytics
Added to PP
2009-01-28
Downloads
65 (#358,214)
6 months
6 (#738,277)
2009-01-28
Downloads
65 (#358,214)
6 months
6 (#738,277)
Historical graph of downloads
Author's Profile
Citations of this work
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Leibniz filters and the strong version of a protoalgebraic logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.
References found in this work
Sentential logics and Maehara interpolation property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
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-54b44b69b7-vb4rf uwo