Hierarchie systemów logiki parakonsystentnej
| dc.contributor.author | Ciuciura, Janusz | |
| dc.date.accessioned | 2024-10-31T08:36:24Z | |
| dc.date.available | 2024-10-31T08:36:24Z | |
| dc.date.issued | 2018-10-17 | |
| dc.identifier.citation | Ciuciura J., Hierarchie systemów logiki parakonsystentnej, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2018, https://doi.org/10.18778/8142-190-4 | pl |
| dc.identifier.isbn | 978-83-8142-190-4 | |
| dc.identifier.uri | http://hdl.handle.net/11089/53556 | |
| dc.description.abstract | Praca […] na gruncie polskim nie ma odpowiednika. Nowe jest zarówno ujęcie przeglądu wątków związanych z intuicjami dotyczącymi parakonsystencji i historii rachunków z tej rodziny, jak też stanowiące samodzielne osiągnięcie naukowe uporządkowanie pewnych grup takich rachunków w postaci hierarchii wyznaczonych kilkoma kryteriami. Z recenzji prof. dr. hab. Wojciecha Suchonia Większość systemów logiki parakonsystentnej toleruje sprzeczność nie dlatego, że możliwe jest w nich współistnienie dwóch zdań, z których jedno jest zaprzeczeniem drugiego, lecz dlatego, iż z pary zdań, nie wyprowadzimy dowolnego zdania. […] Systemy logiki parakonsystentnej to zatem formalizmy, w których odrzuca się możliwość ich trywializacji za sprawą pary formuł sprzecznych. Ze Wstępu | pl |
| dc.language.iso | pl | |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | zasada niesprzeczności | pl |
| dc.subject | logika urojona | pl |
| dc.subject | logika minimalna | pl |
| dc.subject | logika antynomii | pl |
| dc.subject | logika dialektyczna | pl |
| dc.subject | logika supraklasyczna | pl |
| dc.subject | Logiki Niesprzeczności Formalnej | pl |
| dc.subject | logika parakonsystentna | pl |
| dc.title | Hierarchie systemów logiki parakonsystentnej | pl |
| dc.type | Book | |
| dc.rights.holder | © Copyright by Janusz Ciuciura, Łódź 2018; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2018 | pl |
| dc.page.number | 157 | |
| dc.contributor.authorAffiliation | Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Instytut Filozofii, Katedra Logiki i Metodologii Nauk | pl |
| dc.identifier.eisbn | 978-83-8142-191-1 | |
| dc.references | Abe, J.M. (red.) (2015), Paraconsistent Intelligent-Based Systems: New Trends in the Applications of Paraconsistency, Intelligent Systems Reference Library, 94, Springer International Publishing. | pl |
| dc.references | Achtelik, G., Dubikajtis, L., Dudek, E., Kanior, J. (1981), On Independence of Axioms of Jaśkowski Discussive Propositional Calculus, „Reports on Mathematical Logic”, 11, s. 3–11. | pl |
| dc.references | Alves, E.H. (1992), The First Axiomatization of a Paraconsistent Logic, „Bulletin of the Section of Logic”, 21/1, s. 19–20. | pl |
| dc.references | Anderson, A.R., Belnap, N.D. (1962), Tautological Enatailments, „Philosophical Studies”, 13/1–2, s. 9–24. | pl |
| dc.references | Araujo, A.L., Alves, E.H., Guerzoni, J.A.D. (1987), Some Relations Between Modal and Paraconsistent Logic, „The Journal of Non-Classical Logic”, 4/2, s. 33–44. | pl |
| dc.references | Arieli, O., Avon, A., Zamansky, A. (2011a), Ideal Paraconsistent Logics, „Studia Logica”, 99/1–3, s. 31–60. | pl |
| dc.references | Arruda, A.I. (1975), Remarques sur les systèmes Cn, „Comptes Rendus de l’Academie de Sciences de Paris (A-B)”, 280, s. 1253–1256. | pl |
| dc.references | Arruda, A.I. (1977), On Imaginary Logic of N.A. Vasiliev, [w:] Arruda A.I., Da Costa N.C.A., Chuaqui R. (red.), Nonclassical Logics, Model Theory and Computability, NorthHolland, Amsterdam–New York–Oxford, s. 3–24. | pl |
| dc.references | Arruda, A.I. (1989), Aspects of the Historical Development of Paraconsistent Logic, [w:] Priest, G., Routley, R., Norman, J. (red.), Paraconsistent Logic, Philosophia, München–Hamden–Wien, s. 99–130. | pl |
| dc.references | Arruda, A.I., Alves, E.H. (1979a), Some Remarks on the Logic of Vagueness, „Bulletin of the Section of Logic”, 8/3, s. 133–138. | pl |
| dc.references | Arruda, A.I., Alves, E.H. (1979b), A Semantical Study of Some Systems of Vagueness Logic, „Bulletin of the Section of Logic”, 8/3, s. 139–144. | pl |
| dc.references | Arruda, A.I., da Costa, N.C.A. (1970), Sur le schéma de la séparation, „Nagoya Mathematical Journal”, 38, s. 71–84. | pl |
| dc.references | Asenjo, F.G. (1966), A Calculus of Antinomies, „Notre Dame Journal of Formal Logic”, 7/1, s. 103–105. | pl |
| dc.references | Asenjo, F.G., Tamburini, J. (1975), Logic of Antinomies, „Notre Dame Journal of Formal Logic”, 16/1, s. 17–44. | pl |
| dc.references | Avron, A. (1986), On an Implication Connective of RM, „Notre Dame Journal of Formal Logic”, 27, s. 201–209. | pl |
| dc.references | Avron, A. (1991), Natural 3-valued Logics – Characterization and Proof Theory, „The Journal of Symbolic Logic”, 56/1, s. 276–294. | pl |
| dc.references | Avron, A. (1999), Negation: Two Points of View, [w:] Gabbay, D., Wansing, H. (red.), What is Negation?, Applied Logic Series, 13, Kluwer Academic Publishers, Dordrecht–Boston, s. 3–22. | pl |
| dc.references | Avron, A. (2007a), Non-deterministic Semantics for Families of Paraconsistent Logics, [w:] Béziau, J.-Y., Carnielli, W., Gabbay, D.M. (red.), Handbook of Paraconsistency, Studies in Logic, 9, College Publications, London, s. 285–320. | pl |
| dc.references | Avron, A. (2007b), Non-deterministic Semantics for Logics with a Consistency Operator, „Journal of Approximate Reasoning”, 45, s. 271–287. | pl |
| dc.references | Avron, A. (2008), 5-valued Non-deterministic Semantics for the Basic Paraconsistent Logic mCi, „Studies in Logic, Grammar and Rhetoric”, 14, s. 127–136. | pl |
| dc.references | Avron, A., Konikowska, B., Zamansky, A. (2012), Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics, [w:] Proceeding LICS ‚12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, New Orleans, Louisiana, s. 85–94. | pl |
| dc.references | Avron, A., Zamansky, A. (2011), Non-Deterministic Semantics for Logical Systems, [w:] Gabbay, D.M., Guenthner, F. (red.), Handbook of Philosophical Logic, 16, Springer Publishing Company, s. 227–304. | pl |
| dc.references | Batens, D. (1980), Paraconsistent Extensional Propositional Logics, „Logique et Analyse”, 11, s. 195–234. | pl |
| dc.references | Batens, D. (1989), Dynamic Dialectical Logics, [w:] Priest, G., Routley, R., Norman, J. (red.), Paraconsistent Logic. Essays on the Inconsistent, Philosophia Verlag, Monachium, s. 187–217. | pl |
| dc.references | Batens, D. (1999), Inconsistency-Adaptive Logics, [w:] Orlowska E. (red.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag (Springer), Heidelberg–New York. | pl |
| dc.references | Batens, D. (2000a), Minimally Abnormal Models in Some Adaptive Logics, „Synthese”, 125, s. 5–18. | pl |
| dc.references | Batens, D. (2000b), A Survey of Inconsistency-Adaptive Logics, [w:] Batens, D., Mortensen, Ch., Priest G., Van Bendegem, J.P. (red.), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, UK. | pl |
| dc.references | Batens, D. (2001), A General Characterization of Adaptive Logics, „Logique et Analyse”, 173–175, s. 45–68. | pl |
| dc.references | Batens, D. (2004), Extending the Realm of Logic. The Adaptive-Logic Programme, [w:] Weingartner, P. (red.), Alternative Logics. Do Sciences Need them? Springer, Berlin–Heidelberg. | pl |
| dc.references | Batens, D., de Clercq, K. (2004), A Rich Paraconsistent Extension of Full Positive Logic, „Logique et Analyse”, 185–188, s. 227–257. | pl |
| dc.references | Bazhanow, W.A. (1990), The Fate of One Forgotten Idea: Vasiliev and his Imaginary Logic, „Studies in Soviet Thought”, 39, s. 333–341. | pl |
| dc.references | Bazhanow, W.A. (2008), Non-Classical Stems from Classical: N.A. Vasiliev’s Approach to Logic and his Reassessment of the Square of Opposition, „Logica Universalis”, 2, s. 71–76. | pl |
| dc.references | Błaszczuk, J.J., Dziobiak, W. (1975a), Remarks on Perzanowski’s Modal System, „Bulletin of the Section of Logic”, 4/2, s. 57–64. | pl |
| dc.references | Błaszczuk, J.J., Dziobiak, W. (1975b), Modal Systems Related to S4n of Sobociński, „Bulletin of the Section of Logic”, 4/3, s. 103–108. | pl |
| dc.references | Błaszczuk, J.J., Dziobiak, W. (1976), An Axiomatization of M-counterparts for Some Modal Calculi, „Reports on Mathematical Logic”, 6, s. 3–6. | pl |
| dc.references | Błaszczuk, J.J., Dziobiak, W. (1977), Modal Logics Connected with Systems S4n of Sobociński, „Studia Logica”, 36/3, s. 151–164. | pl |
| dc.references | Boczwar, D.A. (1938), Ob odnom tréhznacnom iscislénii i égo priménénii к analizu paradoksov klassicéskogo rassirennogo funkcjonał’nogo iscislénia, „Matematiceskij sbornik”, 4, s. 287–308. | pl |
| dc.references | Brożek, A., Jadacki, J. (2005), Reforma terminologii muzycznej, „Sztuka i Filozofia”, 26, s. 206–228. | pl |
| dc.references | Buckner, E. (2015), On the Authenticity of Scotus’s Logical Works, [w:] Hall, A.W., Klima, G. (red.), Maimonides on God and Duns Scotus on Logic and Metaphysics (t. 12, Proceedings of the Society for Medieval Logic and Metaphysics), Cambridge Scholars Publishing, Cambridge. | pl |
| dc.references | Bunder, M.W. (1980), A New Hierarchy of Paraconsistent Logics, Proceedings of the Third Brazilian Conference On Mathematical Logic, Sociedade Brasileira de Lógica, São Paulo,, s. 13–22. | pl |
| dc.references | Bunder, M.W. (1983), On Arruda and da Costa’s logics J1 to J5, „The Journal of Non-Classical Logic”, 2/1, s. 43–48. | pl |
| dc.references | Bunder, M.W. (1989), Some Results in Some Subsystems and in an Extension of Cn, „The Journal of Non-Classical Logic”, 6/1, s. 45–56. | pl |
| dc.references | Carnap, R. (1949), The Logical Syntax of Language, Routledge & Kegan Paul, London. | pl |
| dc.references | Carnielli, W., Coniglio, M.E. (2016), Paraconsistent Logic: Consistency, Contradiction and Negation, Logic, Epistemology, and the Unity of Science, 40, Springer International Publishing. | pl |
| dc.references | Carnielli, W., Coniglio, M.E., Marcos, J. (2007), Logics of Formal Inconsistency, [w:] Gabbay, D., Guenthner, F. (red.), Handbook of Philosophical Logic, Kluwer, Netherlands, s. 1–93. | pl |
| dc.references | Carnielli, W.A., Lima-Marques, M. (1999), Society Semantics and Multiple-Valued Logics, [w:] Carnielli, W.A., D’Ottaviano, I.M.L. (red.), Advances in Contemporary Logic and Computer Science, Volume 235 of Contemporary Mathematics Series, American Mathematical Society, s. 33–52. | pl |
| dc.references | Carnielli, W.A., Marcos, J. (1999), Limits for Paraconsistent Calculi, „Notre Dame Journal of Formal Logic”, 40/3, s. 375–390. | pl |
| dc.references | Carnielli, W.A., Marcos, J. (2001), Ex Contradictione Non Sequitur Quodlibet, Proceedings of the II Annual Conference on Reasoning and Logic, Bucharest. | pl |
| dc.references | Carnielli, W.A., Marcos, J. (2002), A Taxonomy of C-systems, [w:] Carnielli, W. A., Coniglio, M.E., D’Ottaviano, I.M.L. (red.), Paraconsistency – the Logical Way to the Inconsistent, Lecture Notes in Pure and Applied Mathematics, 228, New York, s. 1–94. | pl |
| dc.references | Ciuciura, J. (2003/2004), Logika dyskusyjna, „Principia”, 35–36, s. 279–291. | pl |
| dc.references | Ciuciura, J. (2004), Labelled Tableaux for D2, „Bulletin of the Section of Logic”, 33/4, s. 223–235. | pl |
| dc.references | Ciuciura, J. (2005), On the da Costa, Dubikajtis and Kotas’ System of the Discursive Logic, D2, „Logic and Logical Philosophy”, 14/2, s. 235–252. | pl |
| dc.references | Ciuciura, J. (2008), Negations in the Adjunctive Discursive Logic, „Bulletin of the Section of Logic”, 37/3–4, s. 143–160. | pl |
| dc.references | Ciuciura, J. (2013), Non-Adjunctive Discursive Logic, „Bulletin of the Section of Logic”, 42/3–4, s. 169–182. | pl |
| dc.references | Ciuciura, J. (2014), Paraconsistent Heap. A Hierarchy of mbCn-systems, „Bulletin of the Section of Logic”, 43/3–4, s. 173–182. | pl |
| dc.references | Ciuciura, J. (2015a), Algebraization of Jaśkowski’s Paraconsistent Logic D2, „Studies in Logic, Grammar and Rhetoric”, 42/55, s. 173–193. | pl |
| dc.references | Ciuciura, J. (2015b), Paraconsistency and Sette’s Calculus P1, „Logic and Logical Philosophy”, 24/2, s. 265–273. | pl |
| dc.references | Ciuciura, J. (2015c), A Weakly-Intuitionistic Logic I1, „Logical Investigations”, 21/2, s. 53–60. | pl |
| dc.references | Ciuciura, J. (2017), Logika parakonsystentna Jaśkowskiego, „Studia z Filozofii Polskiej”, 12, s. 73–86. | pl |
| dc.references | Coniglio, M.E., Rodrigues, T.G. (2014), Some Investigations on mbC and mCi, [w:] Mortari, C. A. (red.) Tópicos de lógicas não clássicas, NEL/UFSC, Florianópolis, s. 11–70. | pl |
| dc.references | Courtley, W. J. (1988), Schools and Scholars in Fourteenth-Century England, Princeton University Press, Princeton. | pl |
| dc.references | D’Ottaviano, I.M.L (1990), On the Development of Paraconsistent Logic and da Costa’s Work, „The Journal of Non-Classical Logic”, 7/1–2, s. 9–72. | pl |
| dc.references | D’Ottaviano, I.M.L., Carnielli, W.A., Alves, E.H. (1996), The Centre for Logic in Campinas and the Development of Logic in Brazil, „Logique & Analyse”, 153–154, s. 15–29. | pl |
| dc.references | da Costa N.C.A., Krause, D. (2003a), The Logic of Complementarity, „Pré-Publicações do Departamento de Filosofia Universidade Federal de Santa Catarina”, 8/63. | pl |
| dc.references | da Costa N.C.A., Krause, D. (2003b), Remarks on the Applications of Paraconsistent Logic to Physics, Pré-Publicações do Departamento de Filosofia Universidade Federal de Santa Catarina, 8/62. | pl |
| dc.references | da Costa, N.C.A. (1963), Calculs propositionnels pour les systémes formels inconsistants, „Compte Rendu Acad. des Sciences”, 257, s. 3790–3793. | pl |
| dc.references | da Costa, N.C.A. (1967), Une nouvelle hiérarchie de théories inconsistentes, „Publications du Département Mathématiques de Lyon”, 4/3, s. 2–8. | pl |
| dc.references | da Costa, N.C.A. (1974), On the Theory of Paraconsistent Formal Systems, „Notre Dame Journal of Formal Logic”, 15/4, s. 497–510. | pl |
| dc.references | da Costa, N.C.A. (1975), Remarks on Jaśkowski’s Discussive Logic, „Reports on Mathematical Logic”, 4, s. 7–16. | pl |
| dc.references | da Costa, N.C.A. (1982), The Philosophical Import of Paraconsistent Logic, „The Journal of Non-Classical Logic”, 1/1, s. 1–19. | pl |
| dc.references | da Costa, N.C.A., Alves, E.H. (1977), A Semantical Analysis of the Calculi Cn, „Notre Dame Journal of Formal Logic”, 18/4, s. 621–630. | pl |
| dc.references | da Costa, N.C.A., Arruda A.I. (1970), Sur le Schéma de la Séparation, „Nagoya Math. Journal”, 38, s. 71–84. | pl |
| dc.references | da Costa, N.C.A., Béziau, J.Y (1994), Théorie de la Valuation, „Logique et Analyse”, 146, s. 95–117. | pl |
| dc.references | da Costa, N.C.A., Béziau, J.Y., Bueno, O. (1995a), Paraconsistent Logic in a Historical Perspective, „Logique et Analyse”, 150–151–152, s. 111–125. | pl |
| dc.references | da Costa, N.C.A., Béziau, J.Y., Bueno, O. (1995b), Aspects of Paraconsistent Logic, „Bulletin of the IGPL”, 3/4, s. 597–624. | pl |
| dc.references | da Costa, N.C.A., Bueno, O. (1998), Belief Change and Consistency, „Logique et Analyse”, 161–162–163, s. 31–56. | pl |
| dc.references | da Costa, N.C.A., Doria, F.A. (1995), On Jaśkowski’s Discussive Logics, „Studia Logica”, 54/1, s. 33–60. | pl |
| dc.references | da Costa, N.C.A., Dubikajtis, L. (1968), Sur la logique discursive de Jaśkowski, „Bulletin de Bulletin de l’Académie Polonaise des Sciences (Série des sciences math., astr. et phys.)”, 16/7, s. 551–557. | pl |
| dc.references | da Costa, N.C.A., Dubikajtis, L. (1977), A New Axiomatization for the Discussive Propositional Calculus, [w:] Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (red.), Non Classical Logics, Model Theory and Computability, North-Holland Publishing Company, Amsterdam, s. 45–55. | pl |
| dc.references | da Costa, N.C.A., Guillaume R. (1965), Négations Composées et loi de Peirce Dans les Systémes Cn, „Portugaliae Mathematica”, 24/4, s. 201–210. | pl |
| dc.references | da Costa, N.C.A., Loparić, A. (1984), Paraconsistency, Paracompleteness, and Valuations, „Logique et Analyse”, 27/106, s. 119–131. | pl |
| dc.references | da Costa, N.C.A., Marconi, D. (1989), An Overview of Paraconsistent Logic in the 80’s, „The Journal of Non-classical Logic”, 6/1, s. 5–32. | pl |
| dc.references | Došen, K. (1992), The First Axiomatization of Relevant Logic, „Journal of Philosophical Logic”, 21, s. 339–355. | pl |
| dc.references | Dubikajtis, L. (1967), Stanisław Jaśkowski, „Ruch Filozoficzny”, 25/3–4, s. 187–198. | pl |
| dc.references | Dubikajtis, L. (1975), The Life and Works of Stanisław Jaśkowski, „Studia Logica”, 34/2, s. 109–116. | pl |
| dc.references | Dunn, J.M., Restall, G. (2002), Relevance Logic, [w:] Gabbay, D.M., Guenthner, F. (red.), Handbook of Philosophical Logic, 6, Kluwer Academic Publishers, Dordrecht–Boston–London, s. 1–128. | pl |
| dc.references | Dunn, J.M. (1972), A Modification of Parry’s Analytic Implication, „Notre Dame Journal of Formal Logic”, 13/2, s. 195–205. | pl |
| dc.references | Fernández, V. L., Coniglio, M.E. (2003), Combining Valuations with Society Semantics, „Journal of Applied Non-Classical Logics”, 13/1, s. 21–46. | pl |
| dc.references | Fidel, M.M. (1977), The Decidability of the Calculi Cn, „Reports on Mathematical Logic”, 8, s. 31–40. | pl |
| dc.references | Furmanowski, T. (1975), Remarks on Discussive Propositional Calculus, „Studia Logica”, 34/1, s. 39–43. | pl |
| dc.references | Halldén, S. (1949), The Logic of Nonsense, Uppsala Universitets arsskrift, 9, Uppsala. | pl |
| dc.references | Hessen, S.I. (1910), Review of Vasil’év 1910, „Logos”, 2, s. 287–288. | pl |
| dc.references | Hiż, H (1959), Extendible Sentential Calculus, „The Journal of Symbolic Logic”, 24/3, s. 193–202. | pl |
| dc.references | Hopcroft, J., Motwani, R., Ullman, J. (2005), Wprowadzenie do teorii automatów, języków i obliczeń, Wydawnictwo Naukowe PWN, Warszawa. | pl |
| dc.references | Jadczak, R. (1990), O tzw. Szkole Lwowsko-Warszawskiej, „Acta Universitatis Nicolai Copernici”, Filozofia XI, 197, s. 19–37. | pl |
| dc.references | Jammer, M. (1974), The Philosophy of Quantum Mechnics: The Interpretations of QM in Historical Perspective, John Wiley and Sons, New York. | pl |
| dc.references | Jaśkowski, S. (1948), Rachunek zdań dla systemów dedukcyjnych sprzecznych, „Studia Societatis Scientiarum Torunesis”, 1/5, s. 57–77. | pl |
| dc.references | Jaśkowski, S. (1949), O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych, „Studia Societatis Scientiarum Torunesis”, 1/8, s. 171–172. | pl |
| dc.references | Johansson, I. (1937), Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, „Compositio Mathematica”, 4, s. 119–136. | pl |
| dc.references | Kamide, N. (2005), Natural Deduction Systems for Nelson’s Paraconsistent Logic and its Neighbors, „Journal of Applied Non-Classical Logics”, 15/4, s. 405–435. | pl |
| dc.references | Kline, G.L. (1965), N.A. Vasil’ev and the Development of Many-valued Logics, [w:] Tymieniecka, A.T. (red.), Contributions to Logic and Methodology in Honour of J.M. Bocheński, North-Holland Publishing Company, Amsterdam, s. 315–326. | pl |
| dc.references | Kohl, M. (1969), Bertrand Russell on Vagueness, „Australasian Journal of Philosophy”, 47/1, s. 31–41. | pl |
| dc.references | Kołmogorow, A.N. (1925), O zasadzie tertium non datur (w jęz. rosyjskim), „Matematiceskij sbornik”, 32, s. 646–667. | pl |
| dc.references | Kotas J. (1975), Discussive Sentential Calculus of Jaśkowski, „Studia Logica”, 34/2, s. 149–168. | pl |
| dc.references | Kotas, J. (1971a), On the Algebra of Classes of Formulae Jaśkowski’s Discussive System, „Studia Logica”, 27, s. 81–90. | pl |
| dc.references | Kotas, J. (1971b), Logical Systems with Implications, „Studia Logica”, 28, s. 101–116. | pl |
| dc.references | Kotas, J. (1974a), On Quantity of Logical Values in the Discussive D2 System and in Modular Logic, „Studia Logica”, 33/3, s. 273–275. | pl |
| dc.references | Kotas, J. (1974b), The Axiomatization of S. Jaśkowski’s Discussive System, „Studia Logica”, 33/2, s. 195–200. | pl |
| dc.references | Kotas, J., da Costa, N.C.A. (1977), On Some Modal Logical Systems Defined in Connexion with Jaśkowski’s Problem, [w:] Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (red.), Non-Classical Logics, Model Theory and Computability, North-Holland Publishing Company, Amsterdam, s. 57–73. | pl |
| dc.references | Kotas, J., da Costa, N.C.A. (1978), On the Problem of Jaśkowski and Łukasiewicz Logics, „Bulletin of the Section of Logic”, 7/2, s. 91. | pl |
| dc.references | Kotas, J., da Costa, N.C.A. (1979), A New Formulation of Discussive Logic, „Studia Logica”, 38/4, 429–445. | pl |
| dc.references | Kotas, J., da Costa, N.C.A. (1989), Problems of Modal and Discussive Logics, [w:] Priest, G., Routley, R., Norman, J. (red.), Paraconsistent Logic, Philosophia, München–Hamden–Wien, s. 227–244. | pl |
| dc.references | Kwiatkowski, T. (1964), Wasiliewa koncepcja logiki niearystotelesowskiej, „Ruch Filozoficzny”, 22/2–4, s. 212–215. | pl |
| dc.references | Laertios, D. (1984), Żywoty i poglądy słynnych filozofów, przeł. I. Krońska, PWN, Warszawa. | pl |
| dc.references | Locke, J. (1690/1999), An Essay Concerning Human Understanding, The Pennsylvania State University, London, Pennsylvania. | pl |
| dc.references | Loparić, A. (1986), A Semantical Study of some Propositional Calculi, „Journal of Non-Classical Logic”, 3, s. 73–95. | pl |
| dc.references | Loparić, A., da Costa, N.C.A. (1984), Paraconsistency, Paracompleteness, and Valuations, „Logique et Analyse”, 106, s. 119–131. | pl |
| dc.references | Loparić, A., da Costa, N.C.A. (1986), Paraconsistency, Paracompleteness, and Induction, „Logique et Analyse”, 113, s. 73–80. | pl |
| dc.references | Łukasiewicz, J. (1910), O zasadzie sprzeczności u Arystotelesa, Akademia Umiejętności, Kraków. | pl |
| dc.references | Łukasiewicz, J. (1929), Elementy logiki matematycznej, Skrypt autoryzowany, opracowany przez Mojżesza Presburgera, t. 18 z Wydawnictwa Koła Matematyczno-Fizycznego Słuchaczów Uniwersytetu Warszawskiego, Warszawa. | pl |
| dc.references | Łukasiewicz, J. (1961), O determinizmie, [w:] Łukasiewicz, J., Z zagadnień logiki i filozofii. Pisma wybrane, wybór J. Słupecki, PWN, Warszawa. | pl |
| dc.references | Łukasiewicz, J. (1997), Zasada sprzeczności u Arystotelesa, „Filozofia Nauki”, 5/1, s. 147–164. | pl |
| dc.references | Malinowski G. (1990), Logiki wielowartościowe, Wydawnictwo Naukowe PWN, Warszawa. | pl |
| dc.references | Malinowski, G. (1993), Many-valued Logics, Oxford Logic Guides 25, Clarendon Press, Oxford. | pl |
| dc.references | Malinowski, G. (2006), Logiki wielowartościowe, PWN, Warszawa. | pl |
| dc.references | Marcos, J. (1999), Semânticas de Traduçoes Possíveis, IFCH-UNICAMP, Campinas, Brazil. | pl |
| dc.references | Marcos, J. (2005), On a Problem of da Costa, [w:] Sica, G. (red.), Essays on the Foundations of Mathematics and Logic, Polimetrica International Scientific Publisher, Monza, s. 53–69. | pl |
| dc.references | Mares, E. D., Meyer, R. K. (2001), Relevant Logics, [w:] Goble L. (red.), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, Malden, s. 280–308. | pl |
| dc.references | Mares, E.D. (2012a), Relevance Logic, [w:] Zalta, E.N. (red.), The Stanford Encyclopedia of Philosophy, URL = https://plato.stanford.edu/archives/spr2014/entries/logic-relevance/ (dostęp: 25.06.2017). | pl |
| dc.references | Mares, E.D. (2012b), The Logic R: Supplement to Relevace Logic, [w:] Zalta, E.N. (red.), The Stanford Encyclopedia of Philosophy, URL = https://plato.stanford.edu/entries/logic-relevance/logice.html (dostęp 25.06.2017). | pl |
| dc.references | Martin, Ch. J. (1986), William’s Machine, „Journal of Philosophy”, 83/10, s. 564–572. | pl |
| dc.references | Mazglewski, A. (2005), Nieścisłości terminologiczne w przepisach prawa polskiego o zawieraniu małżeństw wyznaniowych ze skutkami cywilnymi i ich praktyczne konsekwencje, „Ius Matrimoniale”, 10/16, s. 193–206. | pl |
| dc.references | McCall, S. (1966), Connexive Implication, „Journal of Symbolic Logic”, 31, s. 415–433. | pl |
| dc.references | McCall, S. (1967), Connexive Implication and the Syllogism, „Mind”, 76, s. 346–356. | pl |
| dc.references | McCall, S. (2012), A History of Connexivity. [w:] Gabbay, D.M., Pelletier J., Woods, J. (red.), Handbook of the History of Logic, 11, Logic: A History of its Central Concepts, Elsevier, Amsterdam, s. 415–449. | pl |
| dc.references | Meinong, A. (1904), Über Gegenstandstheorie, [w:] Untersuchungen Zur Gegenstandstheorie Und Psychologie, 1/50, Barth, Leipzig, s. 481–530. | pl |
| dc.references | Mortensen, Ch. (1990), Models for Inconsistent and Incomplete Differential Calculus, „Notre Dame Journal of Formal Logic”, 31, s. 274–285. | pl |
| dc.references | Mortensen, Ch. (1995), Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht. | pl |
| dc.references | Nasieniewski, M. (2008), Wprowadzenie do logik adaptywnych, Wydawnictwo Naukowe Uniwersytetu im. Mikołaja Kopernika, Toruń. | pl |
| dc.references | Nasieniewski, M., Pietruszczak, A. (2008), The Weakest Regular Modal Logic Defining Jaśkowski’s Logic D2, „Bulletin of the Section of Logic”, 37/3–4, s. 197–201. | pl |
| dc.references | Nasieniewski, M., Pietruszczak, A. (2009), New Axiomatizations of the Weakest Regular Modal Logic Defining Jaśkowski’s Logic D2, „Bulletin of the Section of Logic”, 38/1–2, s. 45–50. | pl |
| dc.references | Nasieniewski, M., Pietruszczak, A. (2012), On the Weakest Modal Logics Defining Jaskowski’s Logic D2 and the D2-Consequence, „Bulletin of the Section of Logic”, 41/3–4, s. 215–232. | pl |
| dc.references | Nelson, D. (1949), Constructible Falsity, „Journal of Symbolic Logic”, 14/1, s. 16–26. | pl |
| dc.references | Nowak, M. (1998), Kripke Semantics for Some Paraconsistent Logics, „Logica Trianguli”, 2, s. 87–101. | pl |
| dc.references | Odintsow, S. (2008), Constructive Negations and Paraconsistency, Springer, Netherlands. | pl |
| dc.references | Omori, H. (2017), Sette’s Logics, Revisited, [w:] Baltag, A., Seligman, J., Yamada, T. (red.), International Workshop on Logic, Rationality and Interaction, LORI 2017, Springer-Verlag, Berlin–Heidelberg, s. 451–465. | pl |
| dc.references | Parry, W.T. (1968), The Logic of C.I. Lewis, [w:] Schilpp, P.A. (red.), The Philosophy of C.I. Lewis, Cambridge University Press, Cambridge, s. 115–154. | pl |
| dc.references | Perzanowski, J. (1975), On M-fragments and L-fragments of Normal Modal Propositional Logics, „Reports on Mathematical Logic”, 5, s. 63–72. | pl |
| dc.references | Perzanowski, J., Pietruszczak, A. (1999), Preface, „Logic and Logical Philosophy”, 7, s. 5–6. | pl |
| dc.references | Pietryga, A. (2004), Status zasady sprzeczności w świetle logiki współczesnej, Aureus, Kraków. | pl |
| dc.references | Poczobut, R. (1998), Grahama Priesta parakonsystentna metafizyka zmiany, „Filozofia Nauki”, 6/3–4, s. 57–75. | pl |
| dc.references | Poli, R. (1993), Nicolas A. Vasil’ev (1880–1940), „Axiomathes”, 3, s. 325–328. | pl |
| dc.references | Priest, G. (1979), The Logic of Paradox, „Journal of Philosophical Logic”, 8/1, s. 219–241. | pl |
| dc.references | Priest, G. (1990), Dialectic and Dialetheic, „Science and Society”, 53, s. 388–415. | pl |
| dc.references | Priest, G. (2006), Doubt Truth to Be a Liar, Oxford University Press, Oxford. | pl |
| dc.references | Priest, G. (2007), Paraconsistency and Dialetheism, [w:] Gabbay, D., Woods, J. (red.), Handbook of the History of Logic, 8, The Many Valued and Nonmonotonic Turn in Logic, Elsevier, Amsterdam–Oxford, s. 129–204. | pl |
| dc.references | Priest, G., R. Routley, and J. Norman (red.), (1989), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, Philosophia, München–Hamden–Wien. | pl |
| dc.references | Priest, G., Routley, R. (1982), Lessons from Pseudo Scotus, „Philosophical Studies”, 42, s. 189–199. | pl |
| dc.references | Priest, G., Routley, R. (1989), First Historical Introduction. A Preliminary History of Paraconsistent and Dialethic Approaches, [w:] Priest, G., Routley R., Norman J. (red.), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, Philosophia, München–Hamden–Wien, s. 3–75. | pl |
| dc.references | Priest, G., Routley, R. (1984), Introduction: Paraconsistent Logics, „Studia Logica”, 43/1–2, s. 3–16. | pl |
| dc.references | Qingyu, Z. (1991), A Weak Paraconsistent Conditional Logic, „The Journal of Non-Classical Logic”, 8/1, s. 45–57. | pl |
| dc.references | Quine, W.V. (1997), Mission to Brazil, „Logique & Analyse”, 157, s. 5–8. | pl |
| dc.references | Raggio, A.R. (1968), Propositional Sequence Calculi for Inconsistent Systems, „Notre Dame Journal of Formal Logic”, 9, s. 359–366. | pl |
| dc.references | Rescher, N. (1969), Many-Valued Logic, McGraw-Hill, New York. | pl |
| dc.references | Routley, R., Meyer, R.K. (1976), Dialectical Logic, Classical Logic, and the Consistency of the World, „Studies in Soviet Thought”, 16/1–2, s. 1–25. | pl |
| dc.references | Russell, B. (1923), Vagueness, „Australasian Journal of Psychology and Philosophy”, 1/2, s. 84–92. | pl |
| dc.references | Rutkowski, T. (1994), Próba kwestionowania pierwszych zasad: tożsamości, niesprzeczności i wyłączonego środka, „Studia Philosophiae Christianae”, 30–2, s. 227–243. | pl |
| dc.references | Sette, A.M. (1973), On the Propositional Calculus P1, „Mathematica Japonicae”, 18/3, s. 173–180. | pl |
| dc.references | Sette, A.M., Carnielli, W.A. (1995), Maximal Intuitionistic Logics, „Studia Logica”, 55, s. 181–203. | pl |
| dc.references | Slater, B.H. (1995), Paraconsistent Logics?, „Journal of Philosophical Logic”, 24/4, s. 451–454. | pl |
| dc.references | Słupecki, J. (1939), Dowód aksjomatyzowalności pełnych systemów wielowartościowych rachunku zdań, „C. R. des Seances de la Société des Séances et des Lettres de Varsovie”, Cl. III, 32, s. 110–128. | pl |
| dc.references | Smirnow, K.A. (1911), Review of Vasil’év 1910, „Żurnal Ministerstwa Narodnogo Prosweścieńja”, 32, s. 144–154. | pl |
| dc.references | Suchoń, W. (1999), Vasil’iev: What Did He Exactly do?, „Logic and Logical Philosophy”, 7, s. 131–141. | pl |
| dc.references | Sylvan, R. (1980), Exploring Meinong’s Jungle and Beyond: An Investigation of Noneism and the Theory of Items, Department of Philosophy Monograph Series 3, Research School of Social Sciences, Australian National University, Canberra. | pl |
| dc.references | Sylvan, R. (2000), A Preliminary Western History of Sociative Logics, [w:] Hyde D., Priest, G. (red.), Sociative Logics and Their Applications: Essays by the Late Richard Sylvan, Ashgate Publishers, Aldershot. | pl |
| dc.references | Sylvan, R., Urbas, I. (1993), Paraconsistent Classical Logic, „Logique et Analyse”, 141–142, s. 3–24. | pl |
| dc.references | Tanaka, K. (2003), Three Schools of Paraconsistency, „Australasian Journal of Logic”, 1, s. 28–42. | pl |
| dc.references | Tatarkiewiczowie T. i W. (1979), Wspomnienia, PiW, Warszawa. | pl |
| dc.references | Teixeira, A.B., Vicente Ferreira da Silva: da lógica simbólica à filosofia da mitologia, Centro de Documentação do Pensamento Brasileiro, URL = http://www.cdpb.org.br/vicente_ferreira_da_silva_braz_teixeira.pdf (dostęp: 10.03.2017). | pl |
| dc.references | Tritsch, M.F. (1990), Temperature Sensation: The ‘3-bowls Experiment’ Revisited, „Die Naturwissenschaften” („The Science of Nature”), 77/6, s. 288–289. | pl |
| dc.references | Trzęsicki, K. (2003), Logika i teoria mnogości. Ujęcie systematyczno-historyczne, Akademicka Oficyna Wydawnicza EXIT, Warszawa. | pl |
| dc.references | Tuziak, R. (1996), Paraconsistent Extensions of Positive Logic, „Bulletin of the Section of Logic”, 25/1, s. 15–20. | pl |
| dc.references | Urchs, M. (1986), On Two Systems of Stanislaw Jaśkowski, „The Journal of Non-Classical Logic”, 3/1, s. 25–32. | pl |
| dc.references | Urchs, M., Nasieniewski, M., Kwiatkowski, S. (1997), Klasyczny rachunek zdań. Wykład i zadania. Skrypt dla studentów pierwszego roku, Uniwersytet im. M. Kopernika, Toruń. | pl |
| dc.references | Uspensky, V.A. (1992), Kolmogorov and Mathematical Logic, „The Journal of Symbolic Logic”, 57/2, s. 385–412. | pl |
| dc.references | Vaihinger, H. (1922), Die Philosophie des Als Ob, Verlag von Felix Meiner, Leipzig. | pl |
| dc.references | van der Molen, T. (2016), The Johansson/Heyting Letters and the Birth of Minimal Logic, URL = https://eprints.illc.uva.nl/696/1/X-2016-04.text.pdf (dostęp: 5.02.2017). | pl |
| dc.references | Wang, W. (2011), Against Classical Dialetheism, „Frontiers of Philosophy in China”, 6/3, s. 492–500. | pl |
| dc.references | Wansing, H. (2005), Connexive Modal Logic, [w:] Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H., (red.), Advances in Modal Logic, 5, King’s College Publications, London, s. 367–383. | pl |
| dc.references | Wansing, H. (2014), Connexive Logic, [w:] Zalta E.N. (red.), The Stanford Encyclopedia of Philosophy, URL = https://plato.stanford.edu/entries/logic-connexive/ (dostęp: 10.02.2017). | pl |
| dc.references | Wasiliew, N.A. (1993), Imaginary (Non-Aristotelian Logic), „Axiomathes”, 3, s. 353–355. | pl |
| dc.identifier.doi | 10.18778/8142-190-4 |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0/