Defining Cognitive Logics by Non-Classical Tableau Rules
References
- Antoniou Grigoris, Nonmonotonic Reasoning, MIT, 1997.10.7551/mitpress/5040.001.0001
- Jarmużek Tomasz, Tkaczyk Marcin, A method of defining paraconsistent tableaus, pp. 295-307, in New Directions in Paraconsistent Logic, J. Y. Beziau, M. Chakraborty and S. Dutta (eds.), vol. 152 of series Springer Proceedings in Mathematics and Statistics, Springer India, 2015.10.1007/978-81-322-2719-9_14
- Jarmużek Tomasz, Formalizacja metod tablicowych dla logik zdań i logik nazw (Formalization of tableau methods for propositional logics and for logics of names), Wydawnictwo UMK, Toruń, 2013.
- Jarmużek Tomasz, Tkaczyk Marcin, Modal paraconsistent tableau systems of logic, WSEAS Transactions on Mathematics, vol. 14 (2015), pp. 248-255.
- Jarmużek Tomasz, Tableau Metatheorem for Modal Logics, pp. 105-128, in Recent Trends in Philosphical Logic, Trends in Logic, (eds) Roberto Ciuni, Heinrich Wansing, Caroline Willkomennen, Springer Verlag, 2013.10.1007/978-3-319-06080-4_8
- Makinson David, Bridges from Classical to Nonmonotonic Logic, King’s College 2005.
- Makinson David, Przedmowa do polskiego wydania (Preface to Polish edition), p. IX, in Od logiki klasycznej do niemonotonicznej, D. Makinson, translated by Tomasz Jarmużek, Wydawnictwo UMK, Toruń 2008.
- Olivetti Nicola, Tableaux for Nonmonotonic Logics, pp. 469-529, in D’Agostino M., Gabbay D., Haehnle R., Posegga J. (eds), Handbook of Tableau Methods, Kluwer, 1999.10.1007/978-94-017-1754-0_8
- Tarski Alfred, On the concept of logical consequence, pp. 409-420 in Alfred Tarski, Logic, Semantics, Metamathematics Papers from 1923 to 1938, translated by J.H. Woodger, Oxford: Clarendon Press 1956.
- Wójcicki Ryszard, Theory of Logical Calculi Basic Theory of Consequence Operations, Springer 1988.10.1007/978-94-015-6942-2
Language: English
Page range: 151 - 170
Published on: Mar 16, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
Related subjects:
© 2017 Tomasz Jarmużek, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.