Result 1 to 20 from 103 total
The generation of abductive explanations from inconsistent theories. (English)
Log. J. IGPL 20, No. 2, 400-416 (2012).
1
Proof theory and mathematical meaning of paraconsistent C-systems. (English)
J. Appl. Log. 9, No. 3, 171-202 (2011).
2
Paraconsistent vagueness: a positive argument. (English)
Synthese 183, No. 2, 211-227 (2011).
3
Ideal paraconsistent logics. (English)
Stud. Log. 99, No. 1-3, 31-60 (2011).
4
Minimising disjunctive information. (English)
Log. Log. Philos. 19, No. 1-2, 159-192 (2010).
5
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency. (English)
Log. Log. Philos. 19, No. 1-2, 31-61 (2010).
6
On the measure of conflicts: Shapley inconsistency values. (English)
Artif. Intell. 174, No. 14, 1007-1026 (2010).
7
A certain consequence relation for solving paradoxes of vagueness. (English)
Log. Anal., Nouv. Sér. 53, No. 209, 25-50 (2010).
8
Capturing dynamic conceptual frames. (English)
Log. J. IGPL 18, No. 3, 430-455 (2010).
9
Inclosures, vagueness, and self-reference. (English)
Notre Dame J. Formal Logic 51, No. 1, 69-84 (2010).
10
Fitch-style natural deduction for modal paralogics. (English)
Log. Anal., Nouv. Sér. 52, No. 207, 193-218 (2009).
11
Processing information from a set of sources. (English)
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1‒4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic‒Studia Logica Library 28, 165-186 (2009).
12
Autoreferential semantics for many-valued modal logics. (English)
J. Appl. Non-Class. Log. 18, No. 1, 79-125 (2008).
13
Paraconsistent vagueness: why not? (English)
Australas. J. Log. 6, 107-121, electronic only (2008).
14
In what sense is Kantian principle of contradiction non-classical? (English)
Log. Log. Philos. 17, No. 3, 251-274 (2008).
15
Constructive negations and paraconsistency. (English)
Trends in Logic‒Studia Logica Library 26. Dordrecht: Springer (ISBN 978-1-4020-6866-9/hbk). vi, 240~p. EUR~139.05 (2008).
16
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices. (English)
Math. Log. Q. 54, No. 2, 153-166 (2008).
17
Large-scale organizational computing requires unstratified reflection and strong paraconsistency. (English)
Sichman, Jaime Simão (ed.) et al., Coordination, organizations, institutions, and norms in agent systems III. COIN 2007 international workshops COIN\@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN\@MALLOW 2007, Durham, UK, September 3‒4, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-79002-0/pbk). Lecture Notes in Computer Science 4870. Lecture Notes in Artificial Intelligence, 110-124 (2008).
18
How to sell a contradiction. The logic and methaphysics of inconsistency. (English)
Studies in Logic (London) 6. London: College Publications (ISBN 978-1-904987-43-7/pbk). xviii, 338~p. \sterling~19.00; \$~38.00 (2007).
19
On extensions of Nelson’s logic satisfying Dummett’s axiom. (Russian ;English)
Sib. Mat. Zh. 48, No. 1, 138-155 (2007); translation in Sib. Math. J. 48, No. 1, 112-125 (2007).
20
Result 1 to 20 from 103 total
Start
Contact
Print
General Help
