<--- Back to Details
First PageDocument Content
Non-classical logic / Philosophical logic / Logical connectives / Arguments / Paraconsistent logic / Function / Modal logic / Liar paradox / Polish notation / Logic / Mathematics / Mathematical logic
Date: 2013-08-29 10:18:00
Non-classical logic
Philosophical logic
Logical connectives
Arguments
Paraconsistent logic
Function
Modal logic
Liar paradox
Polish notation
Logic
Mathematics
Mathematical logic

i i “bindex” — [removed] — 15:17 — page 384 — #1 i

Add to Reading List

Source URL: media.wiley.com

Download Document from Source Website

File Size: 421,83 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

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

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

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

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

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

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

DocID: 1tere - View Document