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

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