D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic, Proceedings of the I World Congress on Paraconsistency, held in Ghent, BE, July 29--August 3, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formula-Preferential Base for Paraconsistent and Plausible.. - Avron, Lev (Correct)
.... that is based on 3 does not allow to use this rule on Gamma only for inferring s (since r behaves inconsistently) but does allow its use for inferring q from p; p q (since there is no reason to suppose that p behaves inconsistently) Different adaptive logics have been developed (see [Batens, 2000] for a survey) Those that are based on the minimal abnormality strategy are a special case of the formula preferential systems where the set G is taken as a set of abnormal formulas. For example, ACLuN2 (note: not ACLuNs2) from [Batens, 1998] is induced by the formulapreferential system in ....
....logics in [Batens, 1998] and similar papers are defined as single conclusion consequence relations. W cl g (notice the difference from ACLuNs2 the two consequence relations are incomparable. For a comparison between the use of 3 and p as the underlying monotonic relations, see [Batens, 2000]) ACL;2 from [Batens, 1999b] is induced by the following formula preferential system (we give here a simplified version) It is defined in the two valued Nmatrix S 0 in which all the connectives of L cl are weakened: for an n ary connective Pi 2 f; oe; fg and any x 2 ft; fg , e Pi(x) ....
D. Batens, C. Mortensen, G. Priest, and Jan Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. King's College Publications, Research Studies Press, Baldock, UK, 2000.
Formula-Preferential Systems for Paraconsistent Non-Monotonic.. - Avron, Lev (6 citations) (Correct)
....on G = fp :p j p 2 A cl g. P is the same as LPm of [Priest, 1991] when S 3 is without oe) and ACLuNs2 of [Batens, 1998] It is nonmonotonic, paraconsistent, and in contrast to 3 , it is the same as classical logic on classically consistent sets. Adaptive Logics Adaptive logics [Batens, 1998; 2000] were originally introduces by dynamic proof systems that are designed to mimic some aspects of human reasoning with inconsistencies, especially the fact that conclusions that are drawn at a certain stage may be rejected at a later stage because of other conclusions, and then even accepted again. ....
....1 ; n ) and one or more of 1 ; n are assigned values that are illegal in a classical valuation, e.g. OE) OE) OE) oe OE) etc. In comparison to ACLuN2, ACL;2 is adaptive on all the connectives in Sigma cl , not only : Other adaptive logics (see [Batens, 2000]) use a formulapreferential system P in a more complicated way: the definition of the adaptive logic j is: Gamma j Delta iff T r( Gamma) P T r( Delta) where T r is some pre processing of the formulas. 5 Pointwise preferential systems [Arieli and Avron, 2000b] suggests another method for ....
D. Batens, C. Mortensen, G. Priest, and Jan Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. King's College Publications, Research Studies Press, Baldock, UK, 2000.
Narrowing Down Suspicion - In Inconsistent Premise Self-citation (Batens) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
The Need for Adaptive Logics in Epistemology - Batens (2002) (5 citations) Self-citation (Batens) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Pushing the Search Paths in the Proofs. A Study in Proof.. - Batens, Provijn (2002) Self-citation (Batens) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Possible-Translations Semantics for Some Weak Classically Based.. - Marcos (Correct)
No context found.
D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic, Proceedings of the I World Congress on Paraconsistency, held in Ghent, BE, July 29--August 3, 1997.
On negation: Pure local rules - Http (2004) (Correct)
No context found.
D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic, Proceedings of the 1st World Congress on Paraconsistency, held in Ghent, be, July 29--August 3, 1997.
Kind Theory and Distributed Knowledge Capture - Joseph Kiniry Computing (Correct)
No context found.
Diderik Batens. Frontiers of Paraconsistent Logic. Taylor and Francis, Inc., 2000.
Kind Theory and Software Reuse - Joseph Kiniry Security (Correct)
No context found.
Diderik Batens. Frontiers of Paraconsistent Logic. Taylor and Francis, Inc., 2000.
On negation: Pure local rules - Marcos (2003) (Correct)
No context found.
D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic, Proceedings of the 1st World Congress on Paraconsistency, held in Ghent, be, July 29--August 3, 1997.
A Paraconsistent Proof Procedure - Based On Classical (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Adaptive Logics and the Integration of Induction and Deduction - Meheus (2002) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
A Logical Approach to the Analysis of Metaphors - D'Hanis (2002) (5 citations) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Erotetic Arguments from Inconsistent Premises - Meheus (1999) (Correct)
No context found.
Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC