Abstract
Axiomatic rejection is a method to recursively enumerate all the formulas not provable in the given formal system by way of a recursive set of axioms and rules, not necessarily finite.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. L. Clark. Negation as Failure, Logic and Data Bases, New York, 1978.
V. K. Härtig. Zur Axiomatisierung der Nicht-Identitäten des Aussagenkalküls, Zeitschrift für Math. Logik und Grundlagen der Math., 6, 1960.
K. J. J. Hintikka. Form and quantification theory. Acta Philosophica Fennica, 8, 1955.
T. Inoué. On Ishimoto’s theorem in axiomatic rejection. Philosophy of Science, Japan,22, 1989. (In Japanese)
T. Inoué, A. Ishimoto and M. Kobayashi. Axiomatic rejection for the propositional fragment of Lesniewski’s ontology. Forthcoming.
A. Ishimoto. The method of axiomatic rejection in classical propositional logic and its applications. The Logic of Natural Language,1990. (In Japanese)
N. Kanai. The Gentzen-type formulation of syllogistic and its completeness with respect to first-order predicate logic. The Logic of Natural Language,1990. (In Japanese)
M. Kobayashi and A. Ishimoto. A propositional fragment of Lesniewski’s ontology and its formulation by the tableau method. Studia Logica, 41, 1982.
J. Łukasiewicz. Aristotle’s syllogistic from the standpoint of modern formal logic, second edition, Oxford, 1957.
K. Shütte. Beweistheorie, Berlin-Heidelberg, 1957.
K. Shütte. Volständige System Modaler und Intuititionistischer Logik, Berlin-Heidelberg, 1968.
K. Shütte. Proof theory, Berlin-Heidelberg, 1978.
S. Shimidzu. The Logical Structure of Parsing, Memoirs of Iwaki Junior College,13 1987. (In Japanese)
J. Slupeci. Badan nad sylogistica Aristoteles. Traveaux de la Société des Sciences eet des Lettres de Wroclaw, 9, 1948.
J. Slupecki, G. Bryll and Wybraniec—Skardowska. Theory of rejected propositions. Studia Logica, 24, 1971, and Traveaux de la Société des Sciences eet des Lettres de Wroclaw, 30, 1972.
R. M. Symullyan. First-Order Logic, Berlin-Heidelberg-New York, 1968.
W. Staszek. A certain interpretation of the theory of rejected propositions. Studia Logica, 30, 1972.
J. Wolenski. Logic and Philosophy in the Lvov-Warsaw School. Kluwer, Dordrecht, 1989. (Polish edition, 1985.)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ishimoto, A. (1996). Axiomatic Rejection for Classical Propositional Logic. In: Bystrov, P.I., Sadovsky, V.N. (eds) Philosophical Logic and Logical Philosophy. Synthese Library, vol 257. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8678-8_18
Download citation
DOI: https://doi.org/10.1007/978-94-015-8678-8_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4762-5
Online ISBN: 978-94-015-8678-8
eBook Packages: Springer Book Archive