Rachunki sekwentowe w logice klasycznej
| dc.contributor.author | Indrzejczak, Andrzej | |
| dc.date.accessioned | 2019-06-18T14:22:59Z | |
| dc.date.available | 2019-06-18T14:22:59Z | |
| dc.date.issued | 2013 | |
| dc.identifier.citation | Indrzejczak A., Rachunki sekwentowe w logice klasycznej, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2013, doi: 10.18778/7525-812-7 | pl_PL |
| dc.identifier.isbn | 978-83-7525-812-7 | |
| dc.identifier.uri | http://hdl.handle.net/11089/28907 | |
| dc.description | Prezentowana praca jest pomyślana jako wprowadzenie do niezwykle bogatej i złożonej problematyki związanej z teorią i zastosowaniami rachunków sekwentowych. Chcąc zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które w przekonaniu autora są najważniejsze czy po postu interesujące. Nacisk został położony na metodologiczne aspekty RS, toteż nie jest to praca z zakresu teorii dowodu, w której RS jest narzędziem do prezentacji wyników tej teorii. | pl_PL |
| dc.description.sponsorship | Udostępnienie publikacji Wydawnictwa Uniwersytetu Łódzkiego finansowane w ramach projektu „Doskonałość naukowa kluczem do doskonałości kształcenia”. Projekt realizowany jest ze środków Europejskiego Funduszu Społecznego w ramach Programu Operacyjnego Wiedza Edukacja Rozwój; nr umowy: POWER.03.05.00-00-Z092/17-00. | pl_PL |
| dc.language.iso | pl | pl_PL |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl_PL |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | rachunki sekwentowe | pl_PL |
| dc.subject | logika klasyczna | pl_PL |
| dc.title | Rachunki sekwentowe w logice klasycznej | pl_PL |
| dc.type | Book | pl_PL |
| dc.page.number | 311 | pl_PL |
| dc.contributor.authorAffiliation | Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk | pl_PL |
| dc.references | D’Agostino, M., ‘Tableau Methods for Classical Propositional Logic’ w: M. D’Agostino (red.), Handbook of Tableau Methods, str. 45–123, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Aho A. V., i J. D. Ullman, Foundations of Computer Science in C, W. H. Freeman and CO, New York 1995. | pl_PL |
| dc.references | Ajdukiewicz, K., ‘Sprache und Sinn’, Erkenntniss, IV:100–138, 1934. Polskie tłumaczenie w: Język i Poznanie Tom I, str. 145–175, PWN 1985. | pl_PL |
| dc.references | Anderson, A., R. i N., D. Belnap, Entailment: the Logic of Relewance and Necessity, vol I Princeton University Press, Princeton 1975. | pl_PL |
| dc.references | Andrews, P., B. An Introduction to Mathematical Logic and Type Theory: to Truth through Proof, Harcourt Academic Press, Orlando 1986. | pl_PL |
| dc.references | Asser, G., Einführung in die Mathematische Logik, Leipzig 1959 (Teil I), 1972 (Teil II). | pl_PL |
| dc.references | Avron, A., ‘Gentzen-type systems, Resolution and Tableaux’, Journal of Automated Reasoning 10/2:265–281, 1993. | pl_PL |
| dc.references | Avron, A., ‘The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics’, w: W. Hodges et al. (red.), Logic: From Foundations to Applications, str. 1–32, Oxford Science Publication, Oxford, 1996. | pl_PL |
| dc.references | Avron, A., ‘Simple Consequence Relations’, Information and Computation, 92: 105–139, 1991. | pl_PL |
| dc.references | Batóg T., Podstawy logiki, Wyd. Naukowe UAM 1994. | pl_PL |
| dc.references | Bell, J., L. i M. Machover A Course in Mathematical Logic, North- Holland, Amsterdam 1977. | pl_PL |
| dc.references | Belnap, N., D. ‘Display Logic’, Journal of Philosophical Logic, 11:375– 417, 1982. | pl_PL |
| dc.references | Bernays, P., ‘Betrachtungen zum Sequenzen-Kalkul’ w: A., T. Tymieniecka (red.), Contributions to Logic and Methodology in honor of J. M. Bochenski, str. 1–44, North-Holland, Amsterdam 1965. | pl_PL |
| dc.references | Beth E., Semantic Entailment and Formal Derivability, Mededelingen der Kon. Ned. Akad. v. Wet. 18 13, 1955. | pl_PL |
| dc.references | Bibel, W., Deduction, Automated Logic, Academic Press, London 1993. | pl_PL |
| dc.references | Blamey S., L. Humberstone, ‘A Perspective on Modal Sequent Logic’, Publications of the Research Institute for Mathematical Sciences, Kyoto University, 27: 763–782, 1991. | pl_PL |
| dc.references | Boolos, G., ‘Don’t eliminate Cut’, Journal of Philosophical Logic, 7:373–378, 1984. | pl_PL |
| dc.references | Borkowski L., J. Słupecki, ‘A Logical System based on rules and its applications in teaching Mathematical Logic’, Studia Logica, 7: 71–113, 1958. | pl_PL |
| dc.references | Braüner, T., Hybrid Logic and its Proof-Theory, Roskilde 2009. | pl_PL |
| dc.references | Buss, S.,R., ‘An Introduction to Proof Theory’ w: S. Buss (red.) Handbook of Proof Theory, Elsevier 1998. | pl_PL |
| dc.references | Carnielli,W.,A., ‘On Sequents and Tableaux for Many-valued Logics’, Journal of Non-Classical Logic 8(1):59–76, 1991. | pl_PL |
| dc.references | Casari, E., Introduzione alla Logica, UTET, Torino 1997. | pl_PL |
| dc.references | Chang, C.,L. and R.,C.,T., Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Orlando 1973. | pl_PL |
| dc.references | Church, A. Introduction to Mathematical Logic, vol I, Princeton University Press, Princeton 1956. | pl_PL |
| dc.references | Ciabattoni, A. i K. Terui, ‘Towards a Semantic Characterization of Cut-elimination’, Studia Logica 82: 95–119, 2006. | pl_PL |
| dc.references | Curry H. B., A Theory of Formal Deducibility, University of Notre Dame Press, Notre Dame 1950. | pl_PL |
| dc.references | Curry H. B., Foundations of Mathematical Logic, McGraw-Hill, New York 1963. | pl_PL |
| dc.references | Czelakowski, J., ‘Some theorems on structural entailment relations’ Studia Logica 42/4: 417–430, 1975. | pl_PL |
| dc.references | Do˘sen K., ‘Sequent-systems for Modal Logic’, Journal of Symbolic Logic, 50: 149–159, 1985. | pl_PL |
| dc.references | Do˘sen K., ‘Logical constants as punctuation marks’ Notre Dame Journal of Formal Logic, 30: 362–381, 1989. | pl_PL |
| dc.references | Do˘sen K. i P. Schroeder-Heister (red.), Substructural Logics, Oxford University Press, Oxford 1994. | pl_PL |
| dc.references | Dragalin, A.,G., Mathematical Intuitionism. Introduction to Proof Theory, American Mathematical Society, Providence 1988. | pl_PL |
| dc.references | Dreben B., Andrews P., i S. Aanderaa, ‘False lemmas in Herbrand’, Bulletin of American Mathematical Society, 69: 699–706, 1963. | pl_PL |
| dc.references | Dreben B., i J. Denton, ‘A supplement to Herbrand’, Journal of Symbolic Logic, 31: 393–398, 1966. | pl_PL |
| dc.references | Dummett, M., Logiczna Podstawa Metafizyki, PWN 1998. | pl_PL |
| dc.references | Dunn, J., M., i G., M. Hardegree, Algebraic Methods in Philosophical Logic, Clarendon, Oxford 2001. | pl_PL |
| dc.references | Dyckhoff, R., ‘Dragalin’s proof of cut-admissibility for the intuitionistic sequent calculi G3i and G3i’, Research Report CS/97/8, St Andrews 1997. | pl_PL |
| dc.references | Ebbinghaus H. D., J. Flum, W. Thomas Mathematical Logic, Springer, Berlin 1984. | pl_PL |
| dc.references | Ershow, Y., L. i E., A. Palyutin, Mathematical Logic, MIR, Moscow 1984. | pl_PL |
| dc.references | Feys, R., J. Ladriere supplementary notes in: Recherches sur la deduction logique, french translation of Gentzen, Press Univ. de France, Paris 1955. | pl_PL |
| dc.references | Fine K., Reasoning with arbitrary objects, Blackwell, Oxford 1985. | pl_PL |
| dc.references | Fitch, F., Symbolic Logic, Ronald Press Co, New York 1952. | pl_PL |
| dc.references | Fitting, M., First-Order Logic and Automated Theorem Proving, Springer, Berlin 1996. | pl_PL |
| dc.references | Font, J., M., i R. Jansana, A General Algebraic Semantics for Sentential Logics, Springer, Berlin 1996. | pl_PL |
| dc.references | Forbes, G., Modern Logic, New York 2001. | pl_PL |
| dc.references | Gabbay, D., LDS - Labelled Deductive Systems, Clarendon Press, Oxford 1996. | pl_PL |
| dc.references | Garson, J.W. Modal Logic for Philosophers, Cambridge University Press, Cambridge 2006. | pl_PL |
| dc.references | Gallier, J.,H., Logic for Computer Science, Harper and Row, New York 1986. | pl_PL |
| dc.references | Gentzen G., ‘Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen’, Mathematische Annalen, 107:329–350, 1932. | pl_PL |
| dc.references | Gentzen, G., ‘Untersuchungen über das Logische Schliessen’, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934. | pl_PL |
| dc.references | Gentzen, G., ‘Die Widerspruchsfreiheit der reinen Zahlentheorie’, Mathematische Annalen 112:493–565, 1936. | pl_PL |
| dc.references | Gentzen, G., ‘Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie’, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, New Series 4, Leipzig 19–44, 1938. | pl_PL |
| dc.references | Girard, J., Y., ‘Linear Logic’ Theoretical Computer Science, 50: 1–101, 1987. | pl_PL |
| dc.references | Goré, R. ‘Tableau Methods for Modal and Temporal Logics’, w: M. D’Agostino (red.), Handbook of Tableau Methods, str. 297–396, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Gödel, K. ‘Die Vollständigkeit der Axiome des Logischen Funktionenkalküls’ Monatschefte für Mathematik und Physik 37: 349–360, 1930. | pl_PL |
| dc.references | Grandy, R., E., Advanced Logic for Applications, Reidel, Dordrecht 1977. | pl_PL |
| dc.references | Hähnle, R. Automated Deduction in Multiple-Valued Logics, Oxford University Press, 1994. | pl_PL |
| dc.references | Hähnle, R. ‘Tableaux and Related Methods’, w: A. Robinson, A. Voronkov (red.), Handbook of Automated Reasoning, str. 101–177, Elsevier, Amsterdam 2001. | pl_PL |
| dc.references | M. D’Agostino (red.), Handbook of Tableau Methods, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Hacking, I., ‘What is Logic?’, The Journal of Philosophy 76: 285–319, 1979. | pl_PL |
| dc.references | Hasenjaeger,G., Introduction to the Basic Concepts and Problems of Modern Logic, Reidel, Dordrecht 1972. | pl_PL |
| dc.references | Herbrand J., abstrakt w: Comptes Rendus des Seances de l’Academie des Sciences 1928, vol. 186, 1275 Paris. | pl_PL |
| dc.references | Herbrand J., ‘Recherches sur la theorie de la demonstration’, in: Travaux de la Societe des Sciences et des Lettres de Varsovie, Classe III, Sciences Mathematiques et Physiques, Warsovie, 1930. | pl_PL |
| dc.references | Hermes H., Einführung in die Mathematische Logik, Teubner, Stuttgart 1963. | pl_PL |
| dc.references | Hertz P., ‘Über Axiomensysteme für beliebige Satzsysteme’, Mathematische Annalen, 101: 457–514, 1929. | pl_PL |
| dc.references | Hintikka J., ‘Form and Content in Quantification Theory’, Acta Philosophica Fennica, 8: 8–55, 1955. | pl_PL |
| dc.references | Hintikka J., ‘Quantifiers in Deontic Logic’, Societas Scientiarum Fennica, Commentationes Humanarum Literarum XXIII, 1957. | pl_PL |
| dc.references | Hodges, W., ‘Elementary Predicate Logic‘, w: D. Gabbay, i F. Guenther (red.), Handbook of Philosophical Logic, Tom I str. 1–132, Kluwer, Dordrecht 1983. | pl_PL |
| dc.references | Hodges, W., ‘Logical Features of Horn Clauses’ w: D. Gabbay, C., J. Hogger i J., A. Robinson (red.), Handbook of Logic in AI and Logic Programming, Tom I str. 449–503, Clarendon, Oxford 1994. | pl_PL |
| dc.references | Indrzejczak, A., ‘Generalised Sequent Calculus for Propositional Modal Logics’, Logica Trianguli 1:15–31, 1997. | pl_PL |
| dc.references | Indrzejczak, A., ‘Jaskowski and Gentzen Approaches to Natural Deduction and Related Systems’ w: K. Kijania-Placek i J. Wolenski (red.), The Lvov-Warsw School and Contemporary Philosophy, str. 253–264, Kluwer, Dordrecht 1998. | pl_PL |
| dc.references | Indrzejczak,A. ‘Correspondence Theory in Proof Theory’ Bulletin of the Section of logic 37/3-4:171–184, 2008. | pl_PL |
| dc.references | Indrzejczak,A. ‘Suszko’s Contribution to the Theory of Nonaxiomatic Proof Systems’ Bulletin of the Section of logic 38/3-4:151–162, 2009. | pl_PL |
| dc.references | Indrzejczak,A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010. | pl_PL |
| dc.references | Jaśkowski, S., ‘On the Rules of Suppositions in Formal Logic’ Studia Logica 1:5–32, 1934. | pl_PL |
| dc.references | Jaśkowski, S., ‘Teoria dedukcji oparta na dyrektywach założeniowych in: Księga Pamiątkowa I Polskiego Zjazdu Matematycznego, Uniwersytet Jagielloński, Kraków 1929. | pl_PL |
| dc.references | Kalish, D., and R. Montague, ‘Remarks on Descriptions and Natural Deduction’, Archiv. für Mathematische Logik und Grundlagen Forschung 3:50–64, 65–73, 1957. | pl_PL |
| dc.references | Kalish, D., and R. Montague, Logic, Techniques of Formal Reasoning, Harcourt, Brace and World, New York 1964. | pl_PL |
| dc.references | Kanger S., Provability in Logic, Almqvist & Wiksell, Stockholm 1957. | pl_PL |
| dc.references | Kashima R., ‘Cut-free sequent calculi for some tense logics’, Studia Logica, 53:119–135, 1994. | pl_PL |
| dc.references | Keisler, H. J., i J. Robbin, Mathematical Logic and Computability, The McGraw-Hill 1996. | pl_PL |
| dc.references | Ketonen, O., Untersuchungen zum Prädikatenkalkül, Annalea Acad. Sci. Fenn. Ser. A. I. 32, Helsinki 1944. | pl_PL |
| dc.references | Kleene S. C., Introduction to Metamathematics North Holland, Amsterdam 1952. | pl_PL |
| dc.references | Kleene S. C., Mathematical Logic Willey, New York 1967. | pl_PL |
| dc.references | Kleene S. C., ‘Permutability of inferences in Gentzen’s calculi LK and LJ’ Memoirs of the American Mathematical Society, 10: 1–26, 1952. | pl_PL |
| dc.references | Kneale W., M. Kneale, The Development of Logic, Clarendon Press, Oxford 1962. | pl_PL |
| dc.references | Krajicek, J., ‘Lower bounds to the size of constant-depth propositional proofs‘ Journal of Symbolic Logic 59/1:73–85, 1994. | pl_PL |
| dc.references | Leblanc, H., ‘Proof routines for the propositional calculus’, Notre Dame Journal of Formal Logic 4/2: 81–104, 1963. | pl_PL |
| dc.references | Leblanc, H., ‘Two separation theorems for natural deduction’, Notre Dame Journal of Formal Logic 7/2: 81–104, 1966. | pl_PL |
| dc.references | Lemmon E. J., Beginning Logic Nelson, London 1965. | pl_PL |
| dc.references | Leśniewski, S., ‘Gründzuge eines Neuen Systems der Grundlagen der Mathematik’, Fundamenta Mathematicae, 14: 1–81, 1929. | pl_PL |
| dc.references | Letz, R., ‘First-order Tableau Methods’ w: M. D’Agostino (red.), Handbook of Tableau Methods, str. 125–196, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Lis, Z., ‘Wynikanie semantyczne a wynikanie formalne’, Studia Logica 10:39–60, 1960. | pl_PL |
| dc.references | Loveland D. W., Automated Theorem Proving: a Logical Basis, North Holland, Amsterdam 1978. | pl_PL |
| dc.references | Lyndon, R., O logice matematycznej, PWN, Warszawa 1968. | pl_PL |
| dc.references | Ławrow, I., A. i Ł., L. Maksimowa, Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, PWN, Warszawa 2004. | pl_PL |
| dc.references | Maciaszek, J., Znaki logiczne, Wyd. UŁ, Łódź 2003. | pl_PL |
| dc.references | Marciszewski W., R. Murawski, Mechanization of Reasoning in a Historical Perspective, Rodopi, Amsterdam, Atlanta 1995. | pl_PL |
| dc.references | Mints G., ‘Cut-free calculi of the S5 type’, Studies in Constructive Mathematics and Mathematical Logic II: 79–82, 1970. | pl_PL |
| dc.references | Mostowski, A., Logika matematyczna, Warszawa 1948. | pl_PL |
| dc.references | Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge 2001. | pl_PL |
| dc.references | Negri S., ‘Proof Analysis in Modal Logic’, Journal of Philosophical Logic, 34: 507–544, 2005. | pl_PL |
| dc.references | Nishimura H., ‘A Study of Some Tense Logics by Gentzen’s Sequential Method’, Publications of the Research Institute for Mathematical Sciences, Kyoto University, 16: 343–353, 1980. | pl_PL |
| dc.references | Ono, H., ‘Proof-Theoretic Methods in Nonclassical Logic – an Introduction’ w: M. Takahashi (red.), Theories of Types and Proofs, MSJMemoir 2, str. 207–254, Mathematical Society of Japan, 1998. | pl_PL |
| dc.references | Orłowska, E. i J. Golińska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer 2011. | pl_PL |
| dc.references | Paoli, F., Substructural Logics: a Primer, Kluwer, Dordrecht 2002. | pl_PL |
| dc.references | Plato von J., ‘Gentzen’s proof of normalization for ND’, The Bulletin of Symbolic Logic 14(2):240–257, 2008. | pl_PL |
| dc.references | Poggiolesi F., Gentzen Calculi for Modal Propositional Logic, Springer 2011. | pl_PL |
| dc.references | Pogorzelski W. A., Klasyczny rachunek zdań, PWN, Warszawa 1973. | pl_PL |
| dc.references | Popper, K., ‘Logic without assumptions’, Proceedings of the Aristotelian Society 47:251–292, 1947. | pl_PL |
| dc.references | Popper, K., ‘New foundations for Logic’, Mind 56: 1947. | pl_PL |
| dc.references | Prior, A.,N. ‘A runabout inference ticket’, Analysis 21:38–39, 1960. | pl_PL |
| dc.references | Prawitz, D. Natural Deduction, Almqvist and Wiksell, Stockholm 1965. | pl_PL |
| dc.references | Quine W. Van O., Z punktu widzenia logiki, Colt, New York 1950. | pl_PL |
| dc.references | Quine W. Van O., Methods of Logic, Colt, New York 1950. | pl_PL |
| dc.references | Raggio A., ‘Gentzen’s Hauptsatz for the systems NI and NK’, Logique et Analyse 8:91–100, 1965. | pl_PL |
| dc.references | Rasiowa H., R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa 1963. | pl_PL |
| dc.references | Restall, G. Proof Theory and Philosophy, available on: http://consequently.org/writing/ptp | pl_PL |
| dc.references | Rieger, L. Algebraic Methods of Mathematical Logic, Academia, Prague 1967. | pl_PL |
| dc.references | Robinson, J.,A., ‘A Machine Oriented Logic based on the Resolution Principle’, Journal of the Assoc. Comput. Mach., 12:23–41, 1965. | pl_PL |
| dc.references | Rousseau G., ‘Sequents in Many Valued Logic’, Fundamenta Mathematicae, LX, 1: 22–23, 1967. | pl_PL |
| dc.references | Schroeder-Heister, P., ‘Popper’s theory of deductive inference and the concept of a logical constant’, History and Philosophy of Logic 5:79– 110, 1984. | pl_PL |
| dc.references | Schütte K., Proof Theory, Springer, Berlin 1977. | pl_PL |
| dc.references | Schwichtenberg, H., ‘Proof Theory’ w: J. Barwise (red.), Handbook of Mathematical Logic, T. 1, North-Holland, Amsterdam 1977. | pl_PL |
| dc.references | Scott, D., ‘Rules and derived rules’ w: S. Stenlund (red.) Logical Theory and Semantical Analysis, str. 147–161, 1974. | pl_PL |
| dc.references | Segerberg, K. Classical Propositional Operators, Clarendon Press, Oxford 1982. | pl_PL |
| dc.references | Shoesmith, D., j. i T., J. Smiley, Multiple-conclusion Logic, Cambridge 1978. | pl_PL |
| dc.references | Simpson, A. The Proof Theory and Semantics of Intuitionistic Modal Logic, PhD thesis, University of Edinburgh, 1994. | pl_PL |
| dc.references | Smullyan, R., ‘Analytic Natural Deduction’, The Journal of Symbolic Logic, 30/2: 123–139, 1965. | pl_PL |
| dc.references | Smullyan, R., ‘Trees and Nest Structures’, The Journal of Symbolic Logic, 31/3: 303–321, 1966. | pl_PL |
| dc.references | Smullyan, R., First-Order Logic, Springer, Berlin 1968. | pl_PL |
| dc.references | Sundholm, G., ‘Systems of Deduction’ w: D. Gabbay, F. Guenthner (red.), Handbook of Philosophical Logic, vol I, str. 133–188, Reidel Publishing Company, Dordrecht 2002. | pl_PL |
| dc.references | Suppes P., Introduction to Logic, Van Nostrand, Princeton 1957. | pl_PL |
| dc.references | Surma, S., J., Wprowadzenie do metamatematyki T. I, Kraków 1965. | pl_PL |
| dc.references | Suszko R., ‘W sprawie logiki bez aksjomatów’, Kwartalnik Filozoficzny, 17(3/4): 199–205, 1948. | pl_PL |
| dc.references | Suszko R., O analitycznych aksjomatach i logicznych regułach wnioskowania, Poznańskie Towarzystwo Przyjaciół Nauk, Prace Komisji Filozoficznej 7/5, 1949. | pl_PL |
| dc.references | Suszko R., ‘Formalna teoria wartości logicznych’, Studia Logica 6:145– 320, 1957. | pl_PL |
| dc.references | Suszko R., ‘The Fregean Axiom and Polish Mathematical Logic in the 1920’s’, Studia Logica 36(4):377–380, 1977. | pl_PL |
| dc.references | Szabo M. E. The Collected Papers of Gerhard Gentzen, North- Holland, Amsterdam 1969. | pl_PL |
| dc.references | Tait, W., W., ‘Normal Derivability in Classical Logic’ w: The Sintax and Semantics of Infinitary Languages, LNM 72, str. 204–236, 1968. | pl_PL |
| dc.references | Takano M., ‘Subformula Property as a substitute for Cut-Elimination in Modal Propositional Logics’, Mathematica Japonica, 37(6): 1129– 1145, 1992. | pl_PL |
| dc.references | Takano M., ‘A Modified Subformula Property for the Modal Logics K5 and K5D’, Bulletin of the Section of Logic 30(2):115–123, 2001. | pl_PL |
| dc.references | Takeuti, G., Proof Theory, North-Holland, Amsterdam 1987. | pl_PL |
| dc.references | Tarski A., ‘Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften’, Monatschefte für Mathematik und Physik, 37:361–404, 1930. | pl_PL |
| dc.references | Troelstra A. S. i H. Schwichtenberg Basic Proof Theory, Oxford University Press, Oxford 1996. | pl_PL |
| dc.references | Trzęsicki, K., Logika i teoria mnogości, Exit, Warszawa 2003. | pl_PL |
| dc.references | Waaler, A. i L. Wallen, ‘Tableaux for Intuitionistic Logics’ w: M. D’Agostino (red.), Handbook of Tableau Methods, str. 255–296, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Wansing, H., Displaying Modal Logics, Kluwer Academic Publishers, Dordrecht 1999. | pl_PL |
| dc.references | Wansing, H., ‘Sequent Systems for Modal Logics’, w: D. Gabbay, F. Guenthner (red.), Handbook of Philosophical Logic, vol IV, str. 89–133, Reidel Publishing Company, Dordrecht 2002. | pl_PL |
| dc.references | Wójcicki, R. Theory of Logical Calculi, Kluwer, Dordrecht 1988. | pl_PL |
| dc.references | Vickers, S., Topology via Logic, Cambridge University Press, Cambridge 1988. | pl_PL |
| dc.references | Zeman, J.,J., Modal Logic, Oxford University Press, Oxford 1973. | pl_PL |
| dc.references | Zygmunt, J., ‘Entailment Relations on Logical Matrices’, Bulletin of the Section of Logic 8:112–115, 1979. | pl_PL |
| dc.references | Zucker, J. i R. Tragesser, ‘The adequacy problem for inferential logic’ Journal of Philosophical Logic 7:501–516, 1987. | pl_PL |
| dc.identifier.doi | 10.18778/7525-812-7 |
Pliki tej pozycji
Pozycja umieszczona jest w następujących kolekcjach
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe