BiBfile on Adaptive Logics:
References [Table of contents]
[Back]
@ARTICLE{D:pepl,
bestand = {[scan]},
author = {Diderik Batens},
year = {1980},
title = {Paraconsistent extensional propositional logics},
journal = {Logique et Analyse},
volume = {90--91},
pages = {195--234},
annote =
{info} }
[Back]
@ARTICLE{D:riwdt,
author = {Diderik Batens},
year = {1987},
title = {Relevant Implication and the Weak Deduction Theorem},
journal = {Studia Logica},
volume = {46},
pages = {239--245},
annote =
{info} }
[Back]
@INCOLLECTION{D:camp,
bestand = {[scan]},
author = {Diderik Batens},
title = {On some Remarkable Relations between Paraconsistent Logics,
Modal Logics, and Ambiguity Logics},
crossref = {wcp00},
pages = {275--293},
annote = {2002},
annote =
{info} }
[Back]
@INCOLLECTION{D:vddiag,
bestand = {[ps.zip] [pdf]},
author = {Diderik Batens},
title = {A Diagrammatic Proof Search Procedure
as Part of a Formal Approach to Problem Solving},
pages = {265--284},
crossref = {LM:mbrse},
year = {2006},
annote =
{info} }
[Back]
@UNPUBLISHED{D:pps,
bestand = {(zipped)},
author = {Diderik Batens},
title = {A Poor Person's Semantics for Modal Logics},
year = {To appear},
annote =
{info} }
[Back]
@UNPUBLISHED{DK:e&i,
author = {Diderik Batens and De Clercq, Kristof},
title = {Embedding and Interpolation for Some Paralogics.
{T}he Predicative Case},
year = {Forthcoming},
annote =
{info} }
[Back]
@ARTICLE{DK:cluns,
bestand = {[ps.zipped]},
author = {Diderik Batens and De Clercq, Kristof},
title = {A Rich Paraconsistent Extension of Full Positive Logic},
journal = {Logique et Analyse},
volume = {185--188},
pages = {227--257},
year= {2004},
note = {Appeared 2005},
annote =
{info} }
[Back]
@ARTICLE{DK&N,
bestand = {[scan]},
author = {Diderik Batens and De Clercq, Kristof and Natasha Kurtonina},
title = {Embedding and Interpolation for Some Paralogics.
{T}he Propositional Case},
journal = {Reports on Mathematical Logic},
year = {1999},
volume = {33},
pages = {29--44},
annote =
{info} }
[Back]
@ARTICLE{BD&P1,
author = {Salem Benferhat and Didier Dubois and Henri Prade},
year = {1997},
title = {Some Syntactic Approaches to the Handling of Inconsistent
Knowledge Bases: A Comparative Study.
{P}art 1: The Flat Case},
journal = {Studia Logica},
volume = {58},
pages = {17--45},
annote =
{info} }
[Back]
@INCOLLECTION{BD&P2,
author = {Salem Benferhat and Didier Dubois and Henri Prade},
title = {Some Syntactic Approaches to the Handling of Inconsistent
Knowledge Bases: A Comparative Study.
{P}art 2: The Prioritized Case},
crossref = {EO:ras},
pages = {473--511},
annote = {1999},
annote =
{info} }
[Back]
@ARTICLE{B&S:sspr,
author = {Philippe Besnard and Torsten Schaub},
title = {Signed Systems for Paraconsistent Reasoning},
year = {1998},
journal = {Journal of Automated Reasoning},
volume = {20},
pages = {191-213} }
[Back]
@BOOK{B&J89,
author = {George S. Boolos and Richard J. Jeffrey},
year = {1989},
title = {Computability and Logic},
publisher = {Cambridge University Press},
note = {(Third edition)} }
[Back]
@BOOK{BB&J02,
author = {George S. Boolos and John P. Burgess and Richard J. Jeffrey},
year = {2002},
title = {Computability and Logic},
publisher = {Cambridge University Press},
note = {(Fourth edition)} }
[Back]
@ARTICLE{dCBF,
author = {da Costa, Newton C.A. and Ot{\'{a}}vio Bueno and Steven French},
title = {The Logic of Pragmatic Truth},
journal = {Journal of Philosophical Logic},
volume = {27},
year = {1998},
pages = {603--620},
annote =
{info} }
[Back]
@ARTICLE{H&H:tpe,
author = {Ilpo Halonen and Jaakko Hintikka},
title = {Toward a Theory of the Process of Explanation},
journal = {Synthese},
volume = {143},
year = {2005},
pages = {5--61} }
[Back]
@ARTICLE{J69,
author = {Stanis{\l}aw Ja{\'{s}}kowski},
title = {Propositional Calculus for Contradictory Deductive Systems},
journal = {Studia Logica},
volume = {24},
pages = {243--257},
year = {1969},
annote =
{info} }
[Back]
@ARTICLE{MdCC,
author = {Irene Mikenberg and da Costa, Newton C. A. and Rolando Chuaqui},
title = {Pragmatic Truth and Approximation to Truth},
journal = {Journal of Symbolic Logic},
volume = {51},
year = {1986},
pages = {201--221},
annote =
{info} }
[Back]
@ARTICLE{MN:McKS,
author = {Marek Nasieniewski},
title = {The Axiom of {McKinsey-S}oboci{\'{n}}ski {K1} in the Framework
of Discussive Logics},
journal = {Logique et Analyse},
volume = {183--184},
year = {2003},
pages = {315--324},
note = {Appeared 2005},
annote =
{info} }
[Back]
@UNPUBLISHED{SR:gtdab,
author = {Shahid Rahman},
year = {To appear},
title = {From Games to Dialogues and Back. {T}owards a general frame for valitity},
annote =
{info} }
[Back]
@BOOK{NR:hr,
author = {Nicholas Rescher},
year = {1964},
title = {Hypothetical Reasoning},
publisher = {North-Holland},
address = {Amsterdam},
annote =
{info} }
[Back]
@BOOK{NR:pr,
author = {Nicholas Rescher},
year = {1976},
title = {Plausible Reasoning.
An Introduction to the Theory and Practice of Plausibilistic Inference},
publisher = {Van Gorcum},
address = {Assen/Amsterdam},
annote =
{info} }
[Back]
@ARTICLE{R&M,
author = {Nicholas Rescher and Ruth Manor},
year = {1970},
title = {On inference from inconsistent premises},
journal = {Theory and Decision},
volume = {1},
pages = {179--217},
annote =
{info} }
[