Resources - Frontiers Of Logical Theory

Compiled with the assistance of David Sanders

For context, see the Frontiers of Logic page on this site.

Automated Reasoning

http://plato.stanford.edu/entries/reasoning-automated/

Combinatory Logic

http://plato.stanford.edu/entries/logic-combinatory/

Deontic Logic

http://plato.stanford.edu/entries/logic-deontic/

Dialetheism

http://plato.stanford.edu/entries/dialetheism/

Epistemic Logic

http://plato.stanford.edu/entries/logic-epistemic/

http://plato.stanford.edu/entries/logic-justification/

Free logic

http://plato.stanford.edu/entries/logic-free/

Fuzzy Logic

http://plato.stanford.edu/entries/logic-fuzzy/

http://www.bu.edu/wcp/Papers/Logi/LogiGrun.htm

Hybrid Logic

http://plato.stanford.edu/entries/logic-hybrid/

Intensional Logic

http://plato.stanford.edu/entries/logic-intensional/

Intuitionist Logic

http://plato.stanford.edu/entries/intuitionistic-logic-development/

http://plato.stanford.edu/entries/logic-intuitionistic/

Logic and Artificial Intelligence

http://plato.stanford.edu/entries/logic-ai/

Logic and Game Theory

http://plato.stanford.edu/entries/logic-games/

Logic and Paradox

http://plato.stanford.edu/entries/paradoxes-contemporary-logic/

Many- valued Logic

http://plato.stanford.edu/entries/logic-manyvalued/

Paraconsistent Logic

TTHE STANFORD ENCYCLOPEDIA OF PHILOSOPHY:

http://plato.stanford.edu/entries/logic-free/

http://plato.stanford.edu/entries/logic-paraconsistent/

THE INTERNET ENCYCLOPEDIA OF PHILOSOPHY:

http://www.iep.utm.edu/par-log/

http://www.iep.utm.edu/par-liar/

http://www.iep.utm.edu/par-russ/

http://www.philosophypress.co.uk/?p=466

http://www.unine.ch/unilog/jyb/future-pl.pdf

Quantum Logic

http://plato.stanford.edu/entries/qt-quantlog/

Relevance Logic

http://plato.stanford.edu/entries/logic-relevance/

Temporal Logic

http://plato.stanford.edu/entries/logic-temporal/

Back to Top