UnB
Departamento de Filosofia
Tópicos Especiais de Lógica - turma A
Introdução às lógicas não-clássicas
2013/02
Prof. Alexandre Costa-Leite

       

Lógicas paraconsistentes


Da Costa, N. Sistemas Formais Inconsistentes. Editora UFPR, 1993.

Jaśkowski, S. A propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy, volume 7, 1999.


Lógicas intuicionistas


Priest, G. 2008. An introduction to Non-Classical Logic (caps. 6 e 20)

Epstein, R. (2001). Propositional Logics. Thomson Learning: Belmont, USA. (cap. VII)


Lógicas polivalentes

Priest, G. 2008. An introduction to Non-Classical Logic (caps. 7 e 21)

Epstein, R. (2001). Propositional Logics. Thomson Learning: Belmont, USA. (cap. VIII)


Introdução à lógica universal

Béziau, J-Y. (2007). From consequence operator to universal logic: a survey of general
abstract logic
. In Logica Universalis, Springer, Birkhauser: Verlag Basel, Switzerland.


==========================================================


GRUPOS



Dialectical logic

Routley, R; Meyer, R. Dialectical Logic, Classical Logic, and the Consistency of the World.  Studies in Soviet Thought, vol. 16, pp. 1-25, 1976.

Lógicas não-monotônicas

Antonelli, G. Non-monotonic LogicStanford Encyclopedia of Philosophy (Winter 2012 Edition).

Lógica livre

Nolt, J. Free Logic. Stanford Encyclopedia of Philosophy. (Spring 2011 Edition).


Lógica relevante

Mares, E. Relevance Logic. Stanford Encyclopedia of Philosophy (Summer 2012 Edition).

Lógica linear

Di Cosmo, R; Miller, D. Linear Logic. Stanford Encyclopedia of Philosophy (Fall 2010 Edition).

Connexive logic

Wansing, H. Connexive Logic. Stanford Encyclopedia of Philosophy (Fall 2010 Edition).


==========================================================