Hierarchie systemów logiki parakonsystentnej

Abe, J.M. (red.) (2015), Paraconsistent Intelligent-Based Systems: New Trends in the Applications of Paraconsistency, Intelligent Systems Reference Library, 94, Springer International Publishing.

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.

Alves, E.H. (1992), The First Axiomatization of a Paraconsistent Logic, „Bulletin of the Section of Logic”, 21/1, s. 19–20.

Anderson, A.R., Belnap, N.D. (1962), Tautological Enatailments, „Philosophical Studies”, 13/1–2, s. 9–24.

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.

Arieli, O., Avon, A., Zamansky, A. (2011a), Ideal Paraconsistent Logics, „Studia Logica”, 99/1–3, s. 31–60.

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.

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.

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.

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.

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.

Arruda, A.I., da Costa, N.C.A. (1970), Sur le schéma de la séparation, „Nagoya Mathematical Journal”, 38, s. 71–84.

Asenjo, F.G. (1966), A Calculus of Antinomies, „Notre Dame Journal of Formal Logic”, 7/1, s. 103–105.

Asenjo, F.G., Tamburini, J. (1975), Logic of Antinomies, „Notre Dame Journal of Formal Logic”, 16/1, s. 17–44.

Avron, A. (1986), On an Implication Connective of RM, „Notre Dame Journal of Formal Logic”, 27, s. 201–209.

Avron, A. (1991), Natural 3-valued Logics – Characterization and Proof Theory, „The Journal of Symbolic Logic”, 56/1, s. 276–294.

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.

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.

Avron, A. (2007b), Non-deterministic Semantics for Logics with a Consistency Operator, „Journal of Approximate Reasoning”, 45, s. 271–287.

Avron, A. (2008), 5-valued Non-deterministic Semantics for the Basic Paraconsistent Logic mCi, „Studies in Logic, Grammar and Rhetoric”, 14, s. 127–136.

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.

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.

Batens, D. (1980), Paraconsistent Extensional Propositional Logics, „Logique et Analyse”, 11, s. 195–234.

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.

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.

Batens, D. (2000a), Minimally Abnormal Models in Some Adaptive Logics, „Synthese”, 125, s. 5–18.

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.

Batens, D. (2001), A General Characterization of Adaptive Logics, „Logique et Analyse”, 173–175, s. 45–68.

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.

Batens, D., de Clercq, K. (2004), A Rich Paraconsistent Extension of Full Positive Logic, „Logique et Analyse”, 185–188, s. 227–257.

Bazhanow, W.A. (1990), The Fate of One Forgotten Idea: Vasiliev and his Imaginary Logic, „Studies in Soviet Thought”, 39, s. 333–341.

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.

Błaszczuk, J.J., Dziobiak, W. (1975a), Remarks on Perzanowski’s Modal System, „Bulletin of the Section of Logic”, 4/2, s. 57–64.

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.

Błaszczuk, J.J., Dziobiak, W. (1976), An Axiomatization of M-counterparts for Some Modal Calculi, „Reports on Mathematical Logic”, 6, s. 3–6.

Błaszczuk, J.J., Dziobiak, W. (1977), Modal Logics Connected with Systems S4n of Sobociński, „Studia Logica”, 36/3, s. 151–164.

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.

Brożek, A., Jadacki, J. (2005), Reforma terminologii muzycznej, „Sztuka i Filozofia”, 26, s. 206–228.

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.

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.

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.

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.

Carnap, R. (1949), The Logical Syntax of Language, Routledge & Kegan Paul, London.

Carnielli, W., Coniglio, M.E. (2016), Paraconsistent Logic: Consistency, Contradiction and Negation, Logic, Epistemology, and the Unity of Science, 40, Springer International Publishing.

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.

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.

Carnielli, W.A., Marcos, J. (1999), Limits for Paraconsistent Calculi, „Notre Dame Journal of Formal Logic”, 40/3, s. 375–390.

Carnielli, W.A., Marcos, J. (2001), Ex Contradictione Non Sequitur Quodlibet, Proceedings of the II Annual Conference on Reasoning and Logic, Bucharest.

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.

Ciuciura, J. (2003/2004), Logika dyskusyjna, „Principia”, 35–36, s. 279–291.

Ciuciura, J. (2004), Labelled Tableaux for D2, „Bulletin of the Section of Logic”, 33/4, s. 223–235.

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.

Ciuciura, J. (2008), Negations in the Adjunctive Discursive Logic, „Bulletin of the Section of Logic”, 37/3–4, s. 143–160.

Ciuciura, J. (2013), Non-Adjunctive Discursive Logic, „Bulletin of the Section of Logic”, 42/3–4, s. 169–182.

Ciuciura, J. (2014), Paraconsistent Heap. A Hierarchy of mbCn-systems, „Bulletin of the Section of Logic”, 43/3–4, s. 173–182.

Ciuciura, J. (2015a), Algebraization of Jaśkowski’s Paraconsistent Logic D2, „Studies in Logic, Grammar and Rhetoric”, 42/55, s. 173–193.

Ciuciura, J. (2015b), Paraconsistency and Sette’s Calculus P1, „Logic and Logical Philosophy”, 24/2, s. 265–273.

Ciuciura, J. (2015c), A Weakly-Intuitionistic Logic I1, „Logical Investigations”, 21/2, s. 53–60.

Ciuciura, J. (2017), Logika parakonsystentna Jaśkowskiego, „Studia z Filozofii Polskiej”, 12, s. 73–86.

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.

Courtley, W. J. (1988), Schools and Scholars in Fourteenth-Century England, Princeton University Press, Princeton.

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.

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.

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.

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.

da Costa, N.C.A. (1963), Calculs propositionnels pour les systémes formels inconsistants, „Compte Rendu Acad. des Sciences”, 257, s. 3790–3793.

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.

da Costa, N.C.A. (1974), On the Theory of Paraconsistent Formal Systems, „Notre Dame Journal of Formal Logic”, 15/4, s. 497–510.

da Costa, N.C.A. (1975), Remarks on Jaśkowski’s Discussive Logic, „Reports on Mathematical Logic”, 4, s. 7–16.

da Costa, N.C.A. (1982), The Philosophical Import of Paraconsistent Logic, „The Journal of Non-Classical Logic”, 1/1, s. 1–19.

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.

da Costa, N.C.A., Arruda A.I. (1970), Sur le Schéma de la Séparation, „Nagoya Math. Journal”, 38, s. 71–84.

da Costa, N.C.A., Béziau, J.Y (1994), Théorie de la Valuation, „Logique et Analyse”, 146, s. 95–117.

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.

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.

da Costa, N.C.A., Bueno, O. (1998), Belief Change and Consistency, „Logique et Analyse”, 161–162–163, s. 31–56.

da Costa, N.C.A., Doria, F.A. (1995), On Jaśkowski’s Discussive Logics, „Studia Logica”, 54/1, s. 33–60.

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.

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.

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.

da Costa, N.C.A., Loparić, A. (1984), Paraconsistency, Paracompleteness, and Valuations, „Logique et Analyse”, 27/106, s. 119–131.

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.

Došen, K. (1992), The First Axiomatization of Relevant Logic, „Journal of Philosophical Logic”, 21, s. 339–355.

Dubikajtis, L. (1967), Stanisław Jaśkowski, „Ruch Filozoficzny”, 25/3–4, s. 187–198.

Dubikajtis, L. (1975), The Life and Works of Stanisław Jaśkowski, „Studia Logica”, 34/2, s. 109–116.

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.

Dunn, J.M. (1972), A Modification of Parry’s Analytic Implication, „Notre Dame Journal of Formal Logic”, 13/2, s. 195–205.

Fernández, V. L., Coniglio, M.E. (2003), Combining Valuations with Society Semantics, „Journal of Applied Non-Classical Logics”, 13/1, s. 21–46.

Fidel, M.M. (1977), The Decidability of the Calculi Cn, „Reports on Mathematical Logic”, 8, s. 31–40.

Furmanowski, T. (1975), Remarks on Discussive Propositional Calculus, „Studia Logica”, 34/1, s. 39–43.

Halldén, S. (1949), The Logic of Nonsense, Uppsala Universitets arsskrift, 9, Uppsala.

Hessen, S.I. (1910), Review of Vasil’év 1910, „Logos”, 2, s. 287–288.

Hiż, H (1959), Extendible Sentential Calculus, „The Journal of Symbolic Logic”, 24/3, s. 193–202.

Hopcroft, J., Motwani, R., Ullman, J. (2005), Wprowadzenie do teorii automatów, języków i obliczeń, Wydawnictwo Naukowe PWN, Warszawa.

Jadczak, R. (1990), O tzw. Szkole Lwowsko-Warszawskiej, „Acta Universitatis Nicolai Copernici”, Filozofia XI, 197, s. 19–37.

Jammer, M. (1974), The Philosophy of Quantum Mechnics: The Interpretations of QM in Historical Perspective, John Wiley and Sons, New York.

Jaśkowski, S. (1948), Rachunek zdań dla systemów dedukcyjnych sprzecznych, „Stu­dia Societatis Scientiarum Torunesis”, 1/5, s. 57–77.

Jaśkowski, S. (1949), O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych, „Studia Societatis Scientiarum Torunesis”, 1/8, s. 171–172.

Johansson, I. (1937), Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, „Compositio Mathematica”, 4, s. 119–136.

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.

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.

Kohl, M. (1969), Bertrand Russell on Vagueness, „Australasian Journal of Philosophy”, 47/1, s. 31–41.

Kołmogorow, A.N. (1925), O zasadzie tertium non datur (w jęz. rosyjskim), „Matematiceskij sbornik”, 32, s. 646–667.

Kotas J. (1975), Discussive Sentential Calculus of Jaśkowski, „Studia Logica”, 34/2, s. 149–168.

Kotas, J. (1971a), On the Algebra of Classes of Formulae Jaśkowski’s Discussive System, „Studia Logica”, 27, s. 81–90.

Kotas, J. (1971b), Logical Systems with Implications, „Studia Logica”, 28, s. 101–116.

Kotas, J. (1974a), On Quantity of Logical Values in the Discussive D2 System and in Modular Logic, „Studia Logica”, 33/3, s. 273–275.

Kotas, J. (1974b), The Axiomatization of S. Jaśkowski’s Discussive System, „Studia Logica”, 33/2, s. 195–200.

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.

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.

Kotas, J., da Costa, N.C.A. (1979), A New Formulation of Discussive Logic, „Studia Logica”, 38/4, 429–445.

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.

Kwiatkowski, T. (1964), Wasiliewa koncepcja logiki niearystotelesowskiej, „Ruch Filozoficzny”, 22/2–4, s. 212–215.

Laertios, D. (1984), Żywoty i poglądy słynnych filozofów, przeł. I. Krońska, PWN, Warszawa.

Locke, J. (1690/1999), An Essay Concerning Human Understanding, The Pennsylvania State University, London, Pennsylvania.

Loparić, A. (1986), A Semantical Study of some Propositional Calculi, „Journal of Non-Classical Logic”, 3, s. 73–95.

Loparić, A., da Costa, N.C.A. (1984), Paraconsistency, Paracompleteness, and Valuations, „Logique et Analyse”, 106, s. 119–131.

Loparić, A., da Costa, N.C.A. (1986), Paraconsistency, Paracompleteness, and Induction, „Logique et Analyse”, 113, s. 73–80.

Łukasiewicz, J. (1910), O zasadzie sprzeczności u Arystotelesa, Akademia Umiejętności, Kraków.

Ł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.

Łukasiewicz, J. (1961), O determinizmie, [w:] Łukasiewicz, J., Z zagadnień logiki i filozofii. Pisma wybrane, wybór J. Słupecki, PWN, Warszawa.

Łukasiewicz, J. (1997), Zasada sprzeczności u Arystotelesa, „Filozofia Nauki”, 5/1, s. 147–164.

Malinowski G. (1990), Logiki wielowartościowe, Wydawnictwo Naukowe PWN, Warszawa.

Malinowski, G. (1993), Many-valued Logics, Oxford Logic Guides 25, Clarendon Press, Oxford.

Malinowski, G. (2006), Logiki wielowartościowe, PWN, Warszawa.

Marcos, J. (1999), Semânticas de Traduçoes Possíveis, IFCH-UNICAMP, Campinas, Brazil.

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.

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.

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).

Mares, E.D. (2012b), The Logic R: Supplement to Relevace Logic, [w:] Zalta, E.N. (red.), The Stanford Encyclopedia of Philosophy, URL = https://plato.stan­ford.edu/entries/logic-relevance/logice.html (dostęp 25.06.2017).

Martin, Ch. J. (1986), William’s Machine, „Journal of Philosophy”, 83/10, s. 564–572.

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.

McCall, S. (1966), Connexive Implication, „Journal of Symbolic Logic”, 31, s. 415–433.

McCall, S. (1967), Connexive Implication and the Syllogism, „Mind”, 76, s. 346–356.

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.

Meinong, A. (1904), Über Gegenstandstheorie, [w:] Untersuchungen Zur Gegenstandstheorie Und Psychologie, 1/50, Barth, Leipzig, s. 481–530.

Mortensen, Ch. (1990), Models for Inconsistent and Incomplete Differential Calculus, „Notre Dame Journal of Formal Logic”, 31, s. 274–285.

Mortensen, Ch. (1995), Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht.

Nasieniewski, M. (2008), Wprowadzenie do logik adaptywnych, Wydawnictwo Naukowe Uniwersytetu im. Mikołaja Kopernika, Toruń.

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.

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.

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.

Nelson, D. (1949), Constructible Falsity, „Journal of Symbolic Logic”, 14/1, s. 16–26.

Nowak, M. (1998), Kripke Semantics for Some Paraconsistent Logics, „Logica Trianguli”, 2, s. 87–101.

Odintsow, S. (2008), Constructive Negations and Paraconsistency, Springer, Netherlands.

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.

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.

Perzanowski, J. (1975), On M-fragments and L-fragments of Normal Modal Propositional Logics, „Reports on Mathematical Logic”, 5, s. 63–72.

Perzanowski, J., Pietruszczak, A. (1999), Preface, „Logic and Logical Philosophy”, 7, s. 5–6.

Pietryga, A. (2004), Status zasady sprzeczności w świetle logiki współczesnej, Aureus, Kraków.

Poczobut, R. (1998), Grahama Priesta parakonsystentna metafizyka zmiany, „Filozofia Nauki”, 6/3–4, s. 57–75.

Poli, R. (1993), Nicolas A. Vasil’ev (1880–1940), „Axiomathes”, 3, s. 325–328.

Priest, G. (1979), The Logic of Paradox, „Journal of Philosophical Logic”, 8/1, s. 219–241.

Priest, G. (1990), Dialectic and Dialetheic, „Science and Society”, 53, s. 388–415.

Priest, G. (2006), Doubt Truth to Be a Liar, Oxford University Press, Oxford.

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.

Priest, G., R. Routley, and J. Norman (red.), (1989), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, Philosophia, München–Hamden–Wien.

Priest, G., Routley, R. (1982), Lessons from Pseudo Scotus, „Philosophical Studies”, 42, s. 189–199.

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.

Priest, G., Routley, R. (1984), Introduction: Paraconsistent Logics, „Studia Logica”, 43/1–2, s. 3–16.

Qingyu, Z. (1991), A Weak Paraconsistent Conditional Logic, „The Journal of Non-Classical Logic”, 8/1, s. 45–57.

Quine, W.V. (1997), Mission to Brazil, „Logique & Analyse”, 157, s. 5–8.

Raggio, A.R. (1968), Propositional Sequence Calculi for Inconsistent Systems, „Notre Dame Journal of Formal Logic”, 9, s. 359–366.

Rescher, N. (1969), Many-Valued Logic, McGraw-Hill, New York.

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.

Russell, B. (1923), Vagueness, „Australasian Journal of Psychology and Philosophy”, 1/2, s. 84–92.

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.

Sette, A.M. (1973), On the Propositional Calculus P1, „Mathematica Japonicae”, 18/3, s. 173–180.

Sette, A.M., Carnielli, W.A. (1995), Maximal Intuitionistic Logics, „Studia Logica”, 55, s. 181–203.

Slater, B.H. (1995), Paraconsistent Logics?, „Journal of Philosophical Logic”, 24/4, s. 451–454.

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.

Smirnow, K.A. (1911), Review of Vasil’év 1910, „Żurnal Ministerstwa Narodnogo Prosweścieńja”, 32, s. 144–154.

Suchoń, W. (1999), Vasil’iev: What Did He Exactly do?, „Logic and Logical Philosophy”, 7, s. 131–141.

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.

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.

Sylvan, R., Urbas, I. (1993), Paraconsistent Classical Logic, „Logique et Analyse”, 141–142, s. 3–24.

Tanaka, K. (2003), Three Schools of Paraconsistency, „Australasian Journal of Logic”, 1, s. 28–42.

Tatarkiewiczowie T. i W. (1979), Wspomnienia, PiW, Warszawa.

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).

Tritsch, M.F. (1990), Temperature Sensation: The ‘3-bowls Experiment’ Revisited, „Die Naturwissenschaften” („The Science of Nature”), 77/6, s. 288–289.

Trzęsicki, K. (2003), Logika i teoria mnogości. Ujęcie systematyczno-historyczne, Akademicka Oficyna Wydawnicza EXIT, Warszawa.

Tuziak, R. (1996), Paraconsistent Extensions of Positive Logic, „Bulletin of the Section of Logic”, 25/1, s. 15–20.

Urchs, M. (1986), On Two Systems of Stanislaw Jaśkowski, „The Journal of Non-Classical Logic”, 3/1, s. 25–32.

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ń.

Uspensky, V.A. (1992), Kolmogorov and Mathematical Logic, „The Journal of Symbolic Logic”, 57/2, s. 385–412.

Vaihinger, H. (1922), Die Philosophie des Als Ob, Verlag von Felix Meiner, Leipzig.

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).

Wang, W. (2011), Against Classical Dialetheism, „Frontiers of Philosophy in China”, 6/3, s. 492–500.

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.

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).

Wasiliew, N.A. (1993), Imaginary (Non-Aristotelian Logic), „Axiomathes”, 3, s. 353–355.

Downloads

Download data is not yet available.