Namespaces
Variants
Actions

Implicative propositional calculus

From Encyclopedia of Mathematics
Revision as of 17:06, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A propositional calculus using only the primitive connective (implication). Examples of an implicative propositional calculus are the complete (or classical) implicative propositional calculus given by the axioms

and the rules of inference: modus ponens and substitution; another example is the positive implicative propositional calculus given by the axioms

and the same rules of inference. Every implicative formula, that is, a formula only containing the connective , is deducible in complete (or positive) implicative propositional calculus if and only if it is deducible in classical (respectively, intuitionistic) propositional calculus. For any finite set of variables, among the formulas with variables in there is only a finite number of pairwise inequivalent ones in the positive implicative propositional calculus (see [3]). There exist undecidable finitely-axiomatizable implicative propositional calculi (see [4]).

References

[1] A. Church, "Introduction to mathematical logic" , 1 , Princeton Univ. Press (1956)
[2] J. Łukasiewicz, A. Tarski, "Untersuchungen über den Aussagenkalkül" C.R. Soc. Sci. Letters Varsovie, Cl. III , 23 (1930) pp. 30–50
[3] A. Diego, "Sur les algèbres de Hilbert" , Gauthier-Villars (1966) ((translated from the Spanish))
[4] M.D. Gladstone, "Some ways of constructing a propositional calculus of any required degree of unsolvability" Trans. Amer. Math. Soc. , 118 (1965) pp. 192–210
How to Cite This Entry:
Implicative propositional calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Implicative_propositional_calculus&oldid=47319
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article