Implication Connectives for Logics with Right Weakening
暂无分享,去创建一个
[1] Dov M. Gabbay,et al. Intuitonistic Basis for Non-Monotonic Logic , 1982, CADE.
[2] James P. Delgrande,et al. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..
[3] Raymond Turner. Logics in Artificial Intelligence , 1984, Lecture Notes in Computer Science.
[4] Michael Freund. Supracompact Inference Operations , 1990, Nonmonotonic and Inductive Logic.
[5] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[6] Heinrich Herre,et al. Compactness Properties of Nonmonotonic Inference Operations , 1994, JELIA.
[7] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[8] Arthur Buchsbaum,et al. The Logic of Epistemic Inconsistency , 1991, KR.
[9] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[10] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[11] Nicholas Rescher,et al. The logic of inconsistency , 1979 .
[12] Daniel Lehmann,et al. Rationality, Transitivity, and Contraposition , 1992, Artif. Intell..
[13] David Makinson,et al. General Theory of Cumulative Inference , 1988, NMR.