Wielowartościowość w logikach modalnych i w lingwistyce formalnej

Frankowski, Szymon

dc.contributor.author	Frankowski, Szymon
dc.date.accessioned	2022-06-23T08:46:35Z
dc.date.available	2022-06-23T08:46:35Z
dc.date.issued	2016
dc.identifier.citation	Frankowski S., Wielowartościowość w logikach modalnych i w lingwistyce formalnej, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2016, https://doi.org/10.18778/8088-100-6	pl_PL
dc.identifier.isbn	978-83-8088-100-6
dc.identifier.uri	http://hdl.handle.net/11089/42237
dc.description	Książka stanowi pierwszy krok w kierunku opisania związków łączących wielowartościowe logiki modalne z wielowartościową lingwistyką, analogicznych do tych, jakie zachodzą pomiędzy pewnymi logikami modalnymi a automatami i gramatykami klasycznymi.	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	logika modalna	pl_PL
dc.subject	algebra liniowa	pl_PL
dc.subject	teoria mnogości	pl_PL
dc.subject	macierze	pl_PL
dc.subject	lingwistyka	pl_PL
dc.subject	logiki Łukasiewicza	pl_PL
dc.subject	modele Kripkego	pl_PL
dc.title	Wielowartościowość w logikach modalnych i w lingwistyce formalnej	pl_PL
dc.type	Book	pl_PL
dc.rights.holder	© Copyright by Szymon Frankowski, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016	pl_PL
dc.page.number	143	pl_PL
dc.contributor.authorAffiliation	Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Instytut Filozofii, 90-232 Łódź, ul. Kopcińskiego 16/18	pl_PL
dc.identifier.eisbn	978-83-8088-101-3
dc.contributor.authorBiographicalnote	Szymon Frankowski (ur. 10 lutego 1976 r. w Łodzi) ukończył studia filozoficzne w 2002 r. Doktoryzował się z filozofii w roku 2007 na Uniwersytecie Łódzkim. Obecnie pracuje jako adiunkt w Katedrze Logiki i Metodologii Nauk Uniwersytetu Łódzkiego. Publikuje w międzynarodowych czasopismach, takich jak „Bulletin of the Section of Logic”, „Logic and Logical Philosophy”. W obręb jego zainteresowań badawczych wchodzą niestandardowe operacje konsekwencji oraz logiki nieklasyczne (w szczególności logiki modalne i logiki wielowartościowe). Od wielu lat podejmuje próby fuzji różnych logik w celu uzyskania nowych, ciekawszych i bardziej adekwatnych konstrukcji.	pl_PL
dc.references	Aiello M., van Benthem J., Logical Patterns in Space. [W:] Words, Proofs and Diagrams, ss. 5–25, CSLI Publications, 2002.	pl_PL
dc.references	Berstel J., Reutenauer C., Rational Series and Their Languages. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, Berlin, New York, 1988.	pl_PL
dc.references	Bezhanishvili G., van Benthem J., Modal Logics of Space. [W:] M. Aiello, I. Pratt-Hartmann, J. van Benthem (eds.), Handbook of Spatial Logics, ss. 217–298, Springer Netherlands, 2007.	pl_PL
dc.references	Blackburn P., de Rijke P., Venema Y., Modal Logic. Cambridge University Press, 2001.	pl_PL
dc.references	Casacuberta F., de la Higuera C., Computational Complexity of Problems on Probabilistic Grammars and Transducers. [W:] A.L. Oliveira (ed.), Grammatical Inference: Algorithms and Applications, volume 1891, Lecture Notes in Computer Science, ss. 15–24, Springer Berlin Heidelberg, 2000.	pl_PL
dc.references	Chodorow K., MongoDB: The Definitive Guide. O’Relly, 2013.	pl_PL
dc.references	Czelakowski J., Protoalgebraic Logics. Kluwer Academic Publishers, 2001.	pl_PL
dc.references	Dassow J., Grammars with Regulated Rewriting. Studies in Fuzziness and Soft Computing, 148:249–273, 2004.	pl_PL
dc.references	Dehghan M., Ghatte M., Hashemi B., Some Computations on Fuzzy Matrices: an Application in Fuzzy Analytical Hierarchy Process. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16(5):715–733, 2008.	pl_PL
dc.references	Droste M., Gastin P., On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst., 42(4):608–631, 2008.	pl_PL
dc.references	Fitting M., Many-Valued Modal Logics. Fundamenta Informaticae, XV:235–254, 1991.	pl_PL
dc.references	Fitting M., Many-Valued Modal Logics II. Fundamenta Informaticae, XVII:55–74, 1992.	pl_PL
dc.references	Fitting M., Tableaus for Many-Valued Modal Logic. Studia Logica, 55(1):63–68, 1995.	pl_PL
dc.references	Fitting M., Bisimulations and Boolean Vectors. [W:] P. Balbiani, N.-Y. Suzuki, M. Zakharyashev (eds.), Advances in Modal Logic, ss. 97–125, King’s College Publications, 2003.	pl_PL
dc.references	Frankowski S., General Approach to Many Valued Kripke Models. Bulletin of the Section of Logic, 35(1):11–26, 2006.	pl_PL
dc.references	Geman S., Johnson M., Probabilistic Grammars and Their Applications. [W:] International Encyclopedia of the Social & Behavioral Sciences, ss. 12075–12082, 2001.	pl_PL
dc.references	Gerla B., Many-Valued Logic and Semirings. Neural Networks World, 5:467–480, 2003.	pl_PL
dc.references	Gerth R., Peled D., Vardi M.Y., Wolper P., Simple On-the-fly Automatic Verification of Linear Temporal Logic. [W:] Protocol Specification Testing and Verification, ss. 3–18, Chapman & Hall, 1995.	pl_PL
dc.references	Graham R.L., Knuth D.E., Patashnik O., Matematyka konkretna. Wydawnictwo Naukowe PWN, 2006.	pl_PL
dc.references	Grodzinski E., Filozoficzne podstawy logiki wielowartościowej. PWN, 1989.	pl_PL
dc.references	Gumm H.P., Schröder T., Monoid-Labeled Transition Systems. Electronic Notes in Theoretical Computer Science, 4(1):185–204, 2001.	pl_PL
dc.references	Hájek P., Metamathematics of Fuzzy Logic. Kluwer Academic Publisher, 1998.	pl_PL
dc.references	Hopcroft J.E., Motwani R., Ullman J.D., Wprowadzenie do teorii automatów, języków i obliczeń. Wydawnictwo Naukowe PWN, 2013.	pl_PL
dc.references	Klaška J., History of the Number of Finite Posets. Acta Univ. M. Bellii Math, 9:73–84, 1997.	pl_PL
dc.references	Kofler M., The Definitive Guide to MySQL5. Appress, 2005.	pl_PL
dc.references	Kuratowski K., Mostowski A., Teoria mnogości. PWN, 1978.	pl_PL
dc.references	Lee E.T., Zadeh L.A., Note on Fuzzy Languages. Inform. Sci., 1:421–434, 1969.	pl_PL
dc.references	Liau Ch.-J., Matrix Representation of Belief States: an Algebraic Semantics for Belief Logics. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 12(5):613–633, 2004.	pl_PL
dc.references	Lipski W., Logical Problems Related to Incomplete Information in Databases. Technical Report 138, Laboratoire de Recherche en Informatique, 1983.	pl_PL
dc.references	Łukasiewicz J., O logice trójwartościowej. Ruch Filozoficzny, 5:170–171, 1920.	pl_PL
dc.references	Łukasiewicz J., Selected Works. Amsterdam, North-Holland Pub. Co., 1970.	pl_PL
dc.references	Łukasiewicz J., A system of modal logic. The Journal of Computing Systems, 1(3):111–149, 1953.	pl_PL
dc.references	Malinowski G., Logiki wielowartościowe. Wydawnictwo Naukowe PWN, 2006.	pl_PL
dc.references	Marciszewski W., Logiki intensjonalne. XXXIV. Modalność. [W:] Logika formalna. Zarys encyklopedyczny, ss. 311–319, PWN, 1987.	pl_PL
dc.references	McKinsey J.C.C., Tarski A., Some Theorems About the Sentential Calculi of Lewis and Heyting. The Journal of Sybolic Logic, 13(1):1–25, 1948.	pl_PL
dc.references	Mendrala D., Szeliga M., SQL. Praktyczny kurs. Helion, 2011.	pl_PL
dc.references	Mordeson J.N., Malik D.S., Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall/CRC, 2002.	pl_PL
dc.references	Morgan Ch.G., Local and Global Operators and Many Valued Modal Logics. Notre Dame Journal of Formal Logic, XX(2):401–411, 1979.	pl_PL
dc.references	Morikawa O., Some Modal Logics Based on a Three-Valued Logic. Notre Dame Journal of Formal Logic, 30(1):130–137, 1989.	pl_PL
dc.references	Osterman P., Many-Valued Modal Propositional Calculi. Zeitsch. f. math. Logik und Grundlagen d. Math., 34(4):334–354, 1988.	pl_PL
dc.references	Osterman P., Modal Logic and Incomplete Information. Lecture Notes in Computer Science, 305(4):181–196, 1988.	pl_PL
dc.references	Pereira F., Riley M., Sproat R., Weighted Rational Transductions and Their Application to Human Language Processing. [W:] Proceedings of the Workshop on Human Language Technology, HLT ’94, ss. 262–267, Stroudsburg, PA, USA, 1994. Association for Computational Linguistics.	pl_PL
dc.references	Pfeiffer G., Counting Transitive Relations. Journal of Integer Sequences, 7, 2004.	pl_PL
dc.references	Salomaa A., Probabilistic and Weighted Grammars. Information and Control, 15:529–544, 1969.	pl_PL
dc.references	Shostak A.P., Two Decades of Fuzzy Topology, Basic Ideas, Notions and Results. Russian Mathematical Surveys, 44(6):125–186, 1989.	pl_PL
dc.references	Smiley T.J., On Łukasiewicz’s Ł-Modal System. Notre Dame Journal of Formal Logic, 2:149–153, 1961.	pl_PL
dc.references	Thomason S., Possible Worlds and Many Truth Values. Studia Logica, 37(2):195–204, 1978.	pl_PL
dc.references	Urquhart P., Basic Many-Valued Logics. [W:] F. Guenthner, D. Gabbay (eds.), Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, ss. 1–88, Kluwer Academic Press, Dordrecht, 2002.	pl_PL
dc.references	Vardi M.Y., Automata-Theoretic Techniques for Temporal Reasoning. [W:] Handbook of Modal Logic, ss. 971–989, Elsevier, 2006.	pl_PL
dc.references	Wajsberg M., Aksjomatyzacja trójwartościowego rachunku zdań. Comptes rendus des séances de la Sociéeé des Sciences et des Lettres de Varsovie, 24:125–148, 1931.	pl_PL
dc.references	Wójcicki R., Theory of Logical Calculi. Basic Theory of Consequence Operations. Kluwer Academic Publishers, 1988.	pl_PL
dc.identifier.doi	10.18778/8088-100-6
dc.discipline	filozofia	pl_PL
dc.discipline	językoznawstwo	pl_PL
dc.discipline	matematyka	pl_PL