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} }
[Top]