Topic
Paraconsistent logic
About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.
Papers published on a yearly basis
Papers
More filters
•
01 Jan 1973
192 citations
••
01 Jan 1991
TL;DR: The logic of theory change is one of the literary work in this world in suitable to be reading material and this book gives reference, but also it will show the amazing benefits of reading a book.
Abstract: Now, we come to offer you the right catalogues of book to open. logic of theory change is one of the literary work in this world in suitable to be reading material. That's not only this book gives reference, but also it will show you the amazing benefits of reading a book. Developing your countless minds is needed; moreover you are kind of people with great curiosity. So, the book is very appropriate for you.
187 citations
••
TL;DR: An enormous variety of paraconsistent logics in the literature is shown to constitute C- System, and a novel notion of consistency is introduced.
Abstract: A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-systems are defined and studied. An enormous variety of paraconsistent logics in the literature is shown to constitute C-systems.
185 citations
•
01 Nov 1991
TL;DR: This chapter discusses inference, equality, logic programming, and the first logic programming language - a view of the inevitability of logic programming.
Abstract: Part 1 Inference: subsumption, a sometimes undervalued procedure, Larry Wos et al the Markgraf Karl refutation procedures, Hans Jurgen Ohlbach and Jorg H. Siekmann modal logic should say more than it does, Melvin Fitting interactive proof presentation, W.W. Bledsoe intelligent backtracking revisited, Maurice Bruynooghe a science of reasoning, Alan Bundy inductive inference of theories from facts, Ehud Y. Shapiro. Part 2 Equality: solving equations in abstract algebras - a rule-based survey, Hubert Comon a case study of the completion procedure-proving ring commutativity problems, Deepak Kapur and Hantao Zhang computations in regular rewriting systems I and II, Gerard Huet and Jean-Jacques Levy unification and ML type reconstruction, Paris Kanellakis et al automatic dimensional analysis, Mitchell Wand. Part 3 Logic programming: logic programming schemes and their implementations, Keith Clark a near-horn prolog for compilation, Donald Loveland and David Reed unfold/fold transformations of logic programs, P.A. Gardner and J.C. Shepherdson an algebraic representation of logic program computations, Andrea Corradini and Ugo Montanari theory of disjunctive logic programs, Jack Minker et al bottom-up evaluation of logic programs, Jeffrey Naughton and Raghu Remakrishnan Absys, the first logic programming language - a view of the inevitability of logic programming, E.W. Elcock.
184 citations