The Notion of Refutation in Contemporary Logic (in Polish)
Main Article Content
Abstract
Downloads
Article Details
By submitting his/her work to the Editorial Board, the author accepts, upon having his/her text recommended for publication, that Diametros applies the Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) license to works we publish. Under this license, authors agree to make articles legally available for reuse, without permission or fees, for any purpose except commercial. Anyone may read, download, copy, print, distribute or reuse these articles without asking prior permission from the publisher or the author, as long as the author and original source are properly cited. The author holds the copyright without any other restrictions. Full information about CC-BY-NC: https://creativecommons.org/licenses/by-nc/4.0/legalcode.
References
Bryll [1996] – G. Bryll, Metody odrzucania wyrażeń, Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
View in Google Scholar
Craig [1957] – W. Craig, Three uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory, „Journal of Symbolic Logic” (3) 1957, s. 269-285.
View in Google Scholar
Dutkiewicz [1988] – R. Dutkiewicz, Z badań nad metodą tablic semantycznych, Wyd. KUL, Lublin 1988.
View in Google Scholar
Fiorentini [2012] – C. Fiorentini, Terminating sequent calculi for proving and refuting formulas in S4, „Journal of Logic and Computation”, 2012, doi: 10.1093/logcom/exs053.
View in Google Scholar
Goranko [1994] – V. Goranko, Refutation Systems in Modal Logic, „Studia Logica” (53) 1994, s. 299-324.
View in Google Scholar
Goré i Postniece [2008] – R. Goré i L. Postniece, Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic, „Journal of Logic and Computation” (20) 2010, s. 233-260.
View in Google Scholar
Kovács i Voronkov [2009] – L. Kovács i Voronkov, Interpolation and symbol elimination, [w:] Proceedings of Conference on Automated Deduction (CADE), Springer, 2009, s. 199-213.
View in Google Scholar
Łukasiewicz [1988] – J. Łukasiewicz, Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej, tłum. A. Chmielewski, Wyd. PWN, Warszawa 1988 r.
View in Google Scholar
Mints [1988] – Mints G., Gentzen-type systems and resolution rules. Part I. Propositional logic, „Lecture Notes in Computer Science” (417) 1988, s. 198-231.
View in Google Scholar
Pinto i Dyckhoff [1995] – L. Pinto i R. Dyckhoff, Loop-free construction of counter models for intuitionistic propositional logic, „Symposia Gaussiana” 1995, s. 225-232.
View in Google Scholar
Scott [1960] – D. Scott, Completeness Proofs for the Intuitionistic Sentential Calculus, [w:] Summaries of talks presented at the Summer Institute for Symbolic Logic: Cornell University 1957 2nd edition, Communications Research Division, Institute for Defense Analyses, Princeton NJ 1960, s. 231-241.
View in Google Scholar
Skura [1999] – T. Skura, Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems, Wyd. Uniwersytetu Wrocławskiego, Wrocław 1999.
View in Google Scholar
Skura [2002] – T. Skura, Refutations, Proofs, and Models in the Modal Logic K4, „Studia Logica” (70) 2002, s. 193-204.
View in Google Scholar
Skura [2011] – T. Skura, Refutation Systems in Propositional Logic, [w:] Handbook of Philosophical Logic (16), red. D.M. Gabbay and F. Guenthner, Springer, Heidelberg/Dordrecht/New York/London 2011, s. 115-157.
View in Google Scholar
Skura [2013] – T. Skura, What is a refutation system?, [w:] Let's Be Logical, red. Moktefi, A., Moretti, A., Schang F., College Publications, w druku.
View in Google Scholar
Słupecki, Bryll, Wybraniec-Skardowska [1972] – J. Słupecki, G. Bryll, U. Wybraniec-Skardowska, Theory of rejected propositions. Part II, „Studia Logica” (30) 1971, s. 97-115.
View in Google Scholar
Weissenbacher [2010] – G. Weissenbacher, Program Analysis with Interpolants, PhdThesis in Magdalen College, Trinity Term, 2010.
View in Google Scholar