Abstract
J. Łukasiewicz introduced the concept of a refutation calculus that axiomatizes the set of non-theorems of a logic (cf. [2]).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Bull, K. Segerberg. Basic modal logic. In: D. M. Gabbay, F Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, pp. 1–88, Reidel, Dordrecht, 1984.
J. Lukasiewicz. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford, 1951.
G. Mints. Gentzen-type systems and resolution rules. Part I. In: P. Martin-Löf, G. Mints (eds.), COLOG-88, Lecture Notes in Computer Science, 417, pp. 198–231, Springer-Verlag, Berlin, 1990.
D. Scott. Completeness proofs for the intuitionistic sentential calculus, Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957.
T. Skura. Refutation calculi for certain intermediate propositional logics, Notre Dame Journal of Formal Logic, 33, 552–560, 1992.
T. Skura. A Lukasiewicz-style refutation system for the modal logic S4. Forthcoming.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Skura, T. (1996). Refutations and Proofs in S4. In: Wansing, H. (eds) Proof Theory of Modal Logic. Applied Logic Series, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2798-3_4
Download citation
DOI: https://doi.org/10.1007/978-94-017-2798-3_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4720-5
Online ISBN: 978-94-017-2798-3
eBook Packages: Springer Book Archive