<--- Back to Details
First PageDocument Content
Logic / Philosophy / Abstraction / Philosophical logic / Non-classical logic / Mathematical logic / Theories of truth / Proof theory / Negation / Paraconsistent logic / False / Contradiction
Date: 2015-12-30 14:58:38
Logic
Philosophy
Abstraction
Philosophical logic
Non-classical logic
Mathematical logic
Theories of truth
Proof theory
Negation
Paraconsistent logic
False
Contradiction

Globalization makes inconsistency unrecognizable John Woods

Add to Reading List

Source URL: www.johnwoods.ca

Download Document from Source Website

File Size: 183,00 KB

Share Document on Facebook

Similar Documents

List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

DocID: 1v75y - View Document

Logic / Mathematical logic / Non-classical logic / Philosophical logic / Logic in computer science / Proof theory / Modal logic / Modality / Paraconsistent logic / Classical logic / Deontic logic / Intuitionistic logic

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

DocID: 1tY4T - View Document

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

DocID: 1trLw - View Document

Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

DocID: 1tjET - View Document

Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic

DocID: 1tere - View Document