Journal of Applied Non-Classical Logics, Volume 11

Volume 11, Number 1-2, 2001

Adnan Darwiche: On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. 11-34
Richard Booth: The lexicographic closure as a revision process. 35-58
Thomas Andreas Meyer: On the semantics of combination operations. 59-84
Gabriele Kern-Isberner: Conditional indifference and conditional preservation. 85-106
Renata Wassermann: Local Diagnosis. 107-129
Samir Chopra, Konstantinos Georgatos, Rohit Parikh: Relevance Sensitive Non-Monotonic Inference on Belief Sequences. 131-150
Gerhard Brewka: Declarative Representation of Revision Strategies. 151-167
Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza: Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents. 169-201
Horacio L. Arló-Costa: Hypothetical revision and matter-of-fact supp osition. 203-229

Nic Wilson, Jérôme Mengin: Embedding Logics in the Local Computation Framework. 239-261
Philippe Balbiani: A new proof of completeness for a relative modal logic with composition and intersection. 269-280
Antonino Drago: Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law. 281-294
Pierre Marquis, Nadège Porquet: Computational Aspects of Quasi-Classical Entailment. 295-312
Jayanta Sen, Mihir K. Chakraborty: Linear Logic and Lukasiewicz - Valued Logic: A Logico-Algebraic Study. 313-329
Antonio di Nola, Brunella Gerla: A discrete free MV-algebra over one generator. 331-339
Lawrence Peter Belluce, Ada Lettieri, Salvatore Sessa: Products of Ideals in MV -algebras. 341-350
Sándor Jenei: Structure of left-continuous triangular norms with strong induced negations - Rotation-annihilation construction. 351-366
Pieter Hendrik Rodenburg: A complete system of four-valued logic. 367-392