Logic, according to Webster\u2019s dictionary [Webster, 1987], is \u2018a science that deals with the principles and criteria of validity of inference and demonstration: the science of the formal principles of reasoning.' Such 'principles and criteria\u2019 are always described in terms of a language in which inference, demonstration, and reasoning may be expressed. One of the most useful accomplishments of logic for mathematics is the design of a particular formal language, the First Order Predicate Calculus (FOPC). FOPC is so successful at expressing the assertions arising in mathematical discourse that mathematicians and computer scientists often identify logic with classical logic expressed in FOPC. In order to explore a range of possible uses of logic in the design of programming languages, we discard the conventional identification of logic with FOPC, and formalize a general schema for a variety of logical systems, based on the dictionary meaning of the word. Then, we show how logic programming languages may be designed systematically for any sufficiently effective logic, and explain how to view Prolog, Datalog, \u03bbProlog, Equational Logic Programming, and similar programming languages, as instances of the general schema of logic programming. Other generalizations of logic programming have been proposed independently by Meseguer [Meseguer, 1989], Miller, Nadathur, Pfenning and Scedrov [Miller et al., 1991], Goguen and Burstall [Goguen and Burstall, 1992]. The purpose of this chapter is to introduce a set of basic concepts for understanding logic programming, not in terms of its historical development, but in a systematic way based on retrospective insights. In order to achieve a systematic treatment, we need to review a number of elementary definitions from logic and theoretical computer science and adapt them to the needs of logic programming. The result is a slightly modified logical notation, which should be recognizable to those who know the traditional notation. Conventional logical notation is also extended to new and analogous concepts, designed to make the similarities and differences between logical relations and computational relations as transparent as possible. Computational notation is revised radically to make it look similar to logical notation.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0004","type":"book-chapter","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T23:30:52Z","timestamp":1605051052000},"source":"Crossref","is-referenced-by-count":0,"title":["Introduction: Logic and Logic Programming Languages"],"prefix":"10.1093","author":[{"given":"Michael J.","family":"O\u2019Donnell","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Introduction: Logic and Logic Programming Languages"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:08Z","timestamp":1659477188000},"score":12.814339,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354539431"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0004","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T05:59:37Z","timestamp":1715493577218},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
Sections 2.3.4 and 2.3.5 of the chapter \u2018Introduction: Logic and Logic Programming Languages\u2019 are crucial prerequisites to this chapter. I summarize their relevance below, but do not repeat their content. Logic programming languages in general are those that compute by deriving semantic consequences of given formulae in order to answer questions. In equational logic programming languages, the formulae are all equations expressing postulated properties of certain functions, and the questions ask for equivalent normal forms for given terms. Section 2.3.4 of the \u2018Introduction . . .\u2019 chapter gives definitions of the models of equational logic, the semantic consequence relation . . . T |=\u2250(t1 \u2250 t2) . . . (t1 \u2250 t2 is a semantic consequence of the set T of equations, see Definition 2.3.14), and the question answering relation . . . (norm t1,\u2026,ti : t) ?- \u2250 (t \u2250 s) . . . (t \u2250 s asserts the equality of t to the normal form s, which contains no instances of t1, . . . , ti, see Definition 2.3.16).<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0005","type":"book-chapter","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T01:48:56Z","timestamp":1605059336000},"source":"Crossref","is-referenced-by-count":2,"title":["Equational Logic Programming"],"prefix":"10.1093","author":[{"given":"Michael J.","family":"O\u2019Donnell","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Equational Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:09Z","timestamp":1659477189000},"score":12.563382,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354539965"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0005","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T05:59:33Z","timestamp":1715493573225},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
Modern programming languages such as Lisp, Scheme and ML permit procedures to be encapsulated within data in such a way that they can subsequently be retrieved and used to guide computations. The languages that provide this kind of an ability are usually based on the functional programming paradigm, and the procedures that can be encapsulated in them correspond to functions. The objects that are encapsulated are, therefore, of higher-order type and so also are the functions that manipulate them. For this reason, these languages are said to allow for higher-order programming. This form of programming is popular among the users of these languages and its theory is well developed. The success of this style of encapsulation in functional programming makes is natural to ask if similar ideas can be supported within the logic programming setting. Noting that procedures are implemented by predicates in logic programming, higher-order programming in this setting would correspond to mechanisms for encapsulating predicate expressions within terms and for later retrieving and invoking such stored predicates. At least some devices supporting such an ability have been seen to be useful in practice. Attempts have therefore been made to integrate such features into Prolog (see, for example, [Warren, 1982]), and many existing implementations of Prolog provide for some aspects of higher-order programming. These attempts, however, are unsatisfactory in two respects. First, they have relied on the use of ad hoc mechanisms that are at variance with the declarative foundations of logic programming. Second, they have largely imported the notion of higher-order programming as it is understood within functional programming and have not examined a notion that is intrinsic to logic programming. In this chapter, we develop the idea of higher-order logic programming by utilizing a higher-order logic as the basis for computing. There are, of course, many choices for the higher-order logic that might be used in such a study. If the desire is only to emulate the higher-order features found in functional programming languages, it is possible to adopt a \u201cminimalist\u201d approach, i.e., to consider extending the logic of first-order Horn clauses\u2014 the logical basis of Prolog\u2014in as small a way as possible to realize the additional functionality.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0011","type":"book-chapter","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T22:57:28Z","timestamp":1605049048000},"source":"Crossref","is-referenced-by-count":9,"title":["Higher-Order Logic Programming"],"prefix":"10.1093","author":[{"given":"Gopalan","family":"Nadathur","sequence":"first","affiliation":[]},{"given":"Dale","family":"Miller","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Higher-Order Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:11Z","timestamp":1659477191000},"score":12.471497,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354542872"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0011","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T05:59:36Z","timestamp":1715493576150},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
Constraint Logic Programming (CLP) began as a natural merger of two declarative paradigms: constraint solving and logic programming. This combination helps make CLP programs both expressive and flexible, and in some cases, more efficient than other kinds of programs. Though a relatively new field, CLP has progressed in several and quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. Consider first an example program in order to identify some crucial CLP concepts. The program below defines the relation sumto(n, 1 + 2 + . . . . . + n) for natural numbers n. . . . sumto(0, 0). . . . . . sumto(N, S) :- N >= 1, N <= S, sumto(N - 1, S - N). . . . The query S <= 3, sumto(N, S) gives rise to three answers (N = 0, S = 0), (N = 1, S =1), and (N = 2, S = 3), and terminates.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0012","type":"book-chapter","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T01:17:09Z","timestamp":1605057429000},"source":"Crossref","is-referenced-by-count":3,"title":["Constraint Logic Programming: A Survey"],"prefix":"10.1093","author":[{"given":"Joxan","family":"Jaffar","sequence":"first","affiliation":[]},{"given":"Michael J.","family":"Maher","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Constraint Logic Programming: A Survey"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:11Z","timestamp":1659477191000},"score":12.449161,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354543394"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0012","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:37:16Z","timestamp":1768163836525,"version":"3.49.0"},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
A meta-program, regardless of the nature of the programming language, is a program whose data denotes another (object) program. The importance of meta-programming can be gauged from its large number of applications. These include compilers, interpreters, program analysers, and program transformers. Furthermore, if the object program is a logic or functional program formalizing some knowledge, then the meta-program may be regarded as a meta-reasoner for reasoning about this knowledge. In this chapter, the meta-program is assumed to be a logic program. The object program does not have to be a logic program although much of the work in this chapter assumes this. We have identified three major topics for consideration. These are the theoretical foundations of meta-programming, the suitability of the alternative meta-programming techniques for different applications, and methods for improving the efficiency of meta-programs. As with logic programs generally, meta-programs have declarative and procedural semantics. The theoretical study of meta-programming shows that both aspects of the semantics depend crucially on the manner in which object programs are represented as data in a meta-program. The second theme of the paper is the problem of designing and choosing appropriate ways of specifying important meta-programming problems, including dynamic metaprogramming and problems involving self-application. The third theme concerns efficient implementation of meta-programs. Meta-programming systems require representations with facilities that minimize the overhead of interpreting the object program. In addition, efficiency can be gained by transforming the meta-program, specializing it for the particular object program it is reasoning about. This chapter, which concentrates on these aspects of meta-programming, is not intended to be a survey of the field. A more complete survey of meta-programming for logic programming can be found in [Barklund, 1995]. Many issues in meta-programming have their roots in problems in logic which have been studied for several decades. This chapter emphasizes meta-programming solutions. It is not intended to give a full treatment of the underlying logical problems, though we try to indicate some connections to wider topics in meta-logic. The meta-programs in this chapter are logic programs based on first order logic.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0010","type":"book-chapter","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T23:47:44Z","timestamp":1605052064000},"source":"Crossref","is-referenced-by-count":10,"title":["Meta-Programming in Logic Programming"],"prefix":"10.1093","author":[{"given":"P. M.","family":"Hill","sequence":"first","affiliation":[]},{"given":"J.","family":"Gallagher","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Meta-Programming in Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:11Z","timestamp":1659477191000},"score":12.4361105,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354542219"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0010","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:41:31Z","timestamp":1757590891180},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
Program transformation is a methodology for deriving correct and efficient programs from specifications. In this chapter, we will look at the so called \u2019rules + strategies\u2019 approach, and we will report on the main techniques which have been introduced in the literature for that approach, in the case of logic programs. We will also present some examples of program transformation, and we hope that through those examples the reader may acquire some familiarity with the techniques we will describe. The program transformation approach to the development of programs has been first advocated in the case of functional languages by Burstall and Darlington [1977]. In that seminal paper the authors give a comprehensive account of some basic transformation techniques which they had already presented in [Darlington, 1972; Burstall and Darlington, 1975]. Similar techniques were also developed in the case of logic languages by Clark and Sickel [1977], and Hogger [1981], who investigated the use of predicate logic as a language for both program specification and program derivation. In the transformation approach the task of writing a correct and efficient program is realized in two phases. The first phase consists in writing an initial, maybe inefficient, program whose correctness can easily be shown, and the second phase, possibly divided into various subphases, consists in transforming the initial program with the objective of deriving a new program which is more efficient. The separation of the correctness concern from the efficiency concern is one of the major advantages of the transformation methodology. Indeed, using this methodology one may avoid some difficulties often encountered in other approaches. One such difficulty, which may occur when following the stepwise refinement approach, is the design of the invariant assertions, which may be quite intricate, especially when developing very efficient programs. The experience gained during the past two decades or so shows that the methodology of program transformation is very valuable and attractive, in particular for the task of programming \u2018in the small\u2019, that is, for writing single modules of large software systems.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0013","type":"book-chapter","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T23:28:55Z","timestamp":1605050935000},"source":"Crossref","is-referenced-by-count":11,"title":["Transformation of Logic Programs"],"prefix":"10.1093","author":[{"given":"Alberto","family":"Pettorossi","sequence":"first","affiliation":[]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Transformation of Logic Programs"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:12Z","timestamp":1659477192000},"score":12.430693,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354543997"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0013","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T21:12:08Z","timestamp":1726434728700},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"type":"print","value":"9780198537922"},{"type":"electronic","value":"9780191916670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
A proof procedure is an algorithm (technically, a semi-decision procedure) which identifies a formula as valid (or unsatisfiable) when appropriate, and may not terminate when the formula is invalid (satisfiable). Since a proof procedure concerns a logic the procedure takes a special form, superimposing a search strategy on an inference calculus. We will consider a certain collection of proof procedures in the light of an inference calculus format that abstracts the concept of logic programming. This formulation allows us to look beyond SLD-resolution, the proof procedure that underlies Prolog, to generalizations and extensions that retain an essence of logic programming structure. The inference structure used in the formulation of the logic programming concept and first realization, Prolog, evolved from the work done in the subdiscipline called automated theorem proving. While many proof procedures have been developed within this subdiscipline, some of which appear in Volume 1 of this handbook, we will present a narrow selection, namely the proof procedures which are clearly ancestors of the first proof procedure associated with logic programming, SLD-resolution. Extensive treatment of proof procedures for automated theorem proving appear in Bibel [Bibel, 1982], Chang and Lee [Chang and Lee, 1973] and Loveland [Loveland, 1978]. Although the consideration of proof procedures for automated theorem proving began about 1958 we begin our overview with the introduction of the resolution proof procedure by Robinson in 1965. We then review the linear resolution procedures, model elimination and SL-resolution procedures. Our exclusion of other proof procedures from consideration here is due to our focus, not because other procedures are less important historically or for general use within automated or semi-automated theorem process. After a review of the general resolution proof procedure, we consider the linear refinement for resolution and then further restrict the procedure format to linear input resolution. Here we are no longer capable of treating full first-order logic, but have forced ourselves to address a smaller domain, in essence the renameable Horn clause formulas. By leaving the resolution format, indeed leaving traditional formula representation, we see there exists a linear input procedure for all of first-order logic.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0006","type":"book-chapter","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T01:03:04Z","timestamp":1605056584000},"source":"Crossref","is-referenced-by-count":2,"title":["Proof Procedures for Logic Programming"],"prefix":"10.1093","author":[{"given":"Donald W.","family":"Loveland","sequence":"first","affiliation":[]},{"given":"Gopalan","family":"Nadathur","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Proof Procedures for Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:09Z","timestamp":1659477189000},"score":12.428705,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354540611"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0006","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:00:50Z","timestamp":1725692450552},"publisher-location":"Dordrecht","reference-count":25,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400744370"},{"type":"electronic","value":"9789400744387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-94-007-4438-7_2","type":"book-chapter","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T14:26:33Z","timestamp":1343139993000},"page":"15-25","source":"Crossref","is-referenced-by-count":3,"title":["Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic"],"prefix":"10.1007","author":[{"given":"Koji","family":"Tanaka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,21]]},"reference":[{"unstructured":"Anderson, A.R., and N.D. Belnap. 1975. Entailment: The logic of relevance and necessity, vol. I. Princeton: Princeton University Press.","key":"2_CR1"},{"unstructured":"Anderson, A.R., N.D. Belnap, and J.M. Dunn. 1992. Entailment: The logic of relevance and necessity, vol. II. Princeton: Princeton University Press.","key":"2_CR2"},{"doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., M.E. Coniglio, and J. Marcos. 2007. Logics of formal inconsistency. In Handbook of philosophical logic, vol. 14, 2nd ed., ed. D. Gabbay, and F. Guenthner, 15\u2013107. Berlin: Springer.","key":"2_CR3","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1080\/00048406712341141","volume":"45","author":"M.J. Cresswell","year":"1967","unstructured":"Cresswell, M.J. 1967. The interpretation of some lewis systems of modal logic. Australasian Journal of Philosophy 45: 198\u2013206.","journal-title":"Australasian Journal of Philosophy"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J.M. Dunn","year":"1976","unstructured":"Dunn, J.M. 1976. Intuitive semantics for first-degree entailment and \u2018Coupled Trees\u2019. Philosophical Studies 29: 149\u2013168. Republished in\u00a0Anderson et\u00a0al.\u00a0(1992).","journal-title":"Philosophical Studies"},{"doi-asserted-by":"crossref","unstructured":"Goldfarb, W.D. 2001. Frege\u2019s conception of logic. In Future pasts: The analytic tradition in twentieth-century philosophy, ed. J. Floyd and S. Shieh, 25\u201341. Oxford: Oxford University Press.","key":"2_CR6","DOI":"10.1093\/019513916X.003.0002"},{"unstructured":"Haack, S. 1978. Philosophy of logic. Cambridge: Cambridge University Press.","key":"2_CR7"},{"doi-asserted-by":"crossref","unstructured":"Hughes, G.E., and M.J. Cresswell. 1996. A new introduction to modal logic. London: Routledge.","key":"2_CR8","DOI":"10.4324\/9780203290644"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A. 1963. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9: 67\u201396.","journal-title":"Zeitschrift fur mathematische Logik und Grundlagen der Mathematik"},{"doi-asserted-by":"crossref","unstructured":"Kripke, S.A. 1965. Semantical analysis of modal logic II. Non-normal modal propositional calculi. In The theory of models: Proceedings of the 1963 international symposium at Berkeley, ed. J.W.\u00a0Addison, L. Henkin, and A. Tarski, 206\u2013220. Amsterdam: North-Holland.","key":"2_CR10","DOI":"10.1016\/B978-0-7204-2233-7.50026-5"},{"issue":"2","key":"2_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2307\/2964179","volume":"22","author":"E.J. Lemmon","year":"1957","unstructured":"Lemmon, E.J. 1957. New foundations for lewis modal systems. The Journal of Symbolic Logic 22(2): 176\u2013186.","journal-title":"The Journal of Symbolic Logic"},{"unstructured":"Lemmon, E.J. 1965. Beginning logic. London: Thomas Nelson and Sons.","key":"2_CR12"},{"unstructured":"MacFarlane, J. 2000. What does it mean to say that Logic is Formal? Ph.D. Dissertation, University of Pittsburgh.","key":"2_CR13"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1215\/00318108-111-1-25","volume":"111","author":"J. MacFarlane","year":"2002","unstructured":"MacFarlane, J. 2002. Frege, Kant, and the logic in logicism. The Philosophical Review 111: 25\u201365.","journal-title":"The Philosophical Review"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G. Priest","year":"1979","unstructured":"Priest, G. 1979. Logic of paradox. Journal of Philosophical Logic, 8: 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR16","first-page":"219","volume":"35","author":"G. Priest","year":"1992","unstructured":"Priest, G. 1992. What is a non-normal World? Logique et Analyse 35: 219\u2013302.","journal-title":"Logique et Analyse"},{"unstructured":"Priest, G., and K. Tanaka. 2009. Paraconsistent logic. In Stanford encyclopaedia of philosophy, Summer 2009 edn., ed. E.N. Zalta. Stanford: Stanford University.","key":"2_CR17"},{"unstructured":"Putnam, H. 1994. Rethinking mathematical necessity. In Words and Life, ed. J. Conant, 245\u2013263. Cambridge: Harvard University Press.","key":"2_CR18"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley, R. and Meyer, R.K. 1972. The semantics of entailment \u2013 II. Journal of Philosophical Logic 1: 53\u201373.","journal-title":"Journal of Philosophical Logic"},{"doi-asserted-by":"crossref","unstructured":"Routley, R. and Meyer, R.K. 1973. The semantics of entailment \u2013 I. In Truth, syntax and modality, ed. H. Leblanc, 199\u2013243. Amsterdam: North-Holland.","key":"2_CR20","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","volume":"6","author":"R. Routley","year":"1972","unstructured":"Routley, R. and Routley, V. 1972. The semantics of first degree entailment. No\u00fbs 6: 335\u2013359.","journal-title":"No\u00fbs"},{"unstructured":"Tanaka, K. 2000. The labyrinth of trees and the sound of silence: Topics in dialetheism. Ph.D. thesis, University of Queensland.","key":"2_CR22"},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A. Urquhart","year":"1972","unstructured":"Urquhart, A. 1972. Semantics for relevant logics. The Journal of Symbolic Logic 37: 159\u2013169.","journal-title":"The Journal of Symbolic Logic"},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-010-9225-y","volume":"94","author":"Z. Weber","year":"2010a","unstructured":"Weber, Z. 2010a. Extensionality and restriction in naive set theory. Studia Logica 94: 109\u2013126.","journal-title":"Studia Logica"},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020309990281","volume":"3","author":"Z. Weber","year":"2010b","unstructured":"Weber, Z. (2010b). Transfinite numbers in paraconsistent set theory. Review of Symbolic Logic 3:\u00a01\u201322.","journal-title":"Review of Symbolic Logic"}],"container-title":["Paraconsistency: Logic and Applications"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-4438-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T16:50:39Z","timestamp":1687625439000},"score":12.27514,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-4438-7_2"}},"issued":{"date-parts":[[2012,6,21]]},"ISBN":["9789400744370","9789400744387"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-4438-7_2","published":{"date-parts":[[2012,6,21]]}},{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:32:00Z","timestamp":1761611520678},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
This paper extends and updates our earlier survey and analysis of work on the extension of logic programming to perform abductive reasoning [Kakas et al., 1993]. The purpose of the paper is to provide a critical overview of some of the main research results, in order to develop a common framework for evaluating these results, to identify the main unresolved problems, and to indicate directions for future work. The emphasis is not on technical details but on relationships and common features of different approaches. Some of the main issues we will consider are the contributions that abduction can make to the problems of reasoning with incomplete or negative information, the evolution of knowledge, and the semantics of logic programming and its extensions. We also discuss recent work on the argumentation-theoretic interpretation of abduction, which was introduced in the earlier version of this paper. The philosopher Peirce first introduced the notion of abduction. In [Peirce, 1931-58] he identified three distinguished forms of reasoning. Deduction, an analytic process based on the application of general rules to particular cases, with the inference of a result. Induction, synthetic reasoning which infers the rule from the case and the result. Abduction, another form of synthetic inference, but of the case from a rule and a result. Peirce further characterised abduction as the \u201cprobational adoption of a hypothesis\u201d as explanation for observed facts (results), according to known laws. \u201cIt is however a weak kind of inference, because we cannot say that we believe in the truth of the explanation, but only that it may be true\u201d [Peirce, 1931-58]. Abduction is widely used in common-sense reasoning, for instance in diagnosis, to reason from effect to cause [Charniak and McDermott, 1985; Pople, 1973]. We consider here an example drawn from [Pearl, 1987]. Abduction consists in computing such explanations for observations. It is a form of non-monotonic reasoning, because explanations which are consistent with one state of a knowledge base may become inconsistent with new information. In the example above the explanation rained-last-night may turn out to be false, and the alternative explanation sprinkler-was-on may be the true cause for the given observation.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0007","type":"book-chapter","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T23:27:13Z","timestamp":1605050833000},"source":"Crossref","is-referenced-by-count":72,"title":["The Role of Abduction in Logic Programming"],"prefix":"10.1093","author":[{"given":"A. C.","family":"Kakas","sequence":"first","affiliation":[]},{"given":"R. A.","family":"Kowalski","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["The Role of Abduction in Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:09Z","timestamp":1659477189000},"score":12.256573,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354541044"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0007","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T20:10:20Z","timestamp":1719605420845},"reference-count":0,"publisher":"The MIT Press","isbn-type":[{"value":"9780262288477","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1994,1,11]]},"DOI":"10.7551\/mitpress\/3133.003.0004","type":"book-chapter","created":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T18:37:42Z","timestamp":1553884662000},"page":"13-28","source":"Crossref","is-referenced-by-count":0,"title":["Propositional Logic"],"prefix":"10.7551","member":"281","container-title":["From Logic to Logic Programming"],"language":"en","link":[{"URL":"https:\/\/direct.mit.edu\/books\/monograph\/chapter-pdf\/2444138\/9780262288477_cab.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T19:17:40Z","timestamp":1719602260000},"score":12.217566,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/books\/book\/3948\/chapter\/165001\/Propositional-Logic"}},"issued":{"date-parts":[[1994,1,11]]},"ISBN":["9780262288477"],"references-count":0,"URL":"https:\/\/doi.org\/10.7551\/mitpress\/3133.003.0004","published":{"date-parts":[[1994,1,11]]}},{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:28:12Z","timestamp":1725596892918},"publisher-location":"Dordrecht","reference-count":0,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402003707"},{"type":"electronic","value":"9789401153003"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-94-011-5300-3_4","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T17:37:10Z","timestamp":1311010630000},"page":"89-107","source":"Crossref","is-referenced-by-count":2,"title":["Product Logic, G\u00f6del Logic (and Boolean Logic)"],"prefix":"10.1007","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[]}],"member":"297","container-title":["Trends in Logic","Metamathematics of Fuzzy Logic"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-5300-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T16:39:20Z","timestamp":1558197560000},"score":12.197688,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-5300-3_4"}},"issued":{"date-parts":[[1998]]},"ISBN":["9781402003707","9789401153003"],"references-count":0,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-5300-3_4","ISSN":["1572-6126"],"issn-type":[{"type":"print","value":"1572-6126"}],"published":{"date-parts":[[1998]]}},{"indexed":{"date-parts":[[2024,5,12]],"date-time":"2024-05-12T05:59:36Z","timestamp":1715493576807},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
During the past 20 years, logic programming has grown from a new discipline to a mature field. Logic programming is a direct outgrowth of work that started in automated theorem proving. The first programs based on logic were developed by Colmerauer and his students [Colmerauer et al., 1973] at the University of Marseilles in 1972 where the logic programming language PROLOG was developed. Kowalski [1974] published the first paper that formally described logic as a programming language in 1974. Alain Colmerauer and Robert Kowalski are considered the founders of the field of logic programming, van Emden and Kowalski [van Emden and Kowalski, 1976] laid down the theoretical foundation for logic programming. In the past decade the field has witnessed rapid progress with the publication of several theoretical results which have provided a strong foundation for logic programming and extended the scope of logic as a programming language. The objective of this article is to outline theoretical results that have been developed in the field of logic programming with particular emphasis to disjunctive logic programming. Disjunctive logic programming is an extension of logic programming and is useful in representing and reasoning with indefinite information. A disjunctive logic program consists of a finite set of implicitly quantified universal clauses of the form: . . . A1 , . . . , Am \u2190 B1 , . . . , Bn m > 0 and n \u2265 0 (1) . . . where the Ai\u2019s and the Bj\u2019S are atoms. The atoms in the left of the implication sign form a disjunction and is called the head of the formula and those on the right form a conjunction and is called the body of the formula. The formula is read as \u201cA1 or A2 or ... or Am if B1 and B2 and ... and Bn.\u201d There are several forms of the formula that one usually distinguishes. If the body of the formula is empty, and the head is not, the formula is referred to as a fact. If both are not empty the formula is referred to as a procedure.<\/p>","DOI":"10.1093\/oso\/9780198537922.003.0008","type":"book-chapter","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T01:47:52Z","timestamp":1605059272000},"source":"Crossref","is-referenced-by-count":0,"title":["Semantics for Disjunctive and Normal Disjunctive Logic Programs"],"prefix":"10.1093","author":[{"given":"Jorge","family":"Lobo","sequence":"first","affiliation":[]},{"given":"Jack","family":"Minker","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2020,11,12]]},"container-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"original-title":["Semantics for Disjunctive and Normal Disjunctive Logic Programs"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T21:53:10Z","timestamp":1659477190000},"score":12.181804,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806\/chapter\/354541584"}},"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.003.0008","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T12:35:25Z","timestamp":1722774925398},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780198537922","type":"print"},{"value":"9780191916670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1998,1,8]]},"abstract":"
Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and its companion The Handbook of Logic in Computer Science were created in response to the growing need for an in-depth survey of these applications. This handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. The result of years of cooperative effort by internationally renowned researchers, it will be the standard reference work in AI for years to come. Volume 5 focuses on logic programming. The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes.<\/p>","DOI":"10.1093\/oso\/9780198537922.001.0001","type":"edited-book","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T18:27:28Z","timestamp":1605032848000},"source":"Crossref","is-referenced-by-count":15,"title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"prefix":"10.1093","member":"286","published-online":{"date-parts":[[2020,11,12]]},"original-title":["Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming"],"language":"en","deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T17:53:08Z","timestamp":1659462788000},"score":12.140896,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/book\/41806"}},"editor":[{"given":"Dov M.","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"C.J.","family":"Hogger","sequence":"additional","affiliation":[]},{"given":"J. A.","family":"Robinson","sequence":"additional","affiliation":[]}],"issued":{"date-parts":[[1998,1,8]]},"ISBN":["9780198537922","9780191916670"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oso\/9780198537922.001.0001","published":{"date-parts":[[1998,1,8]]}},{"indexed":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T20:10:24Z","timestamp":1719605424559},"reference-count":0,"publisher":"The MIT Press","isbn-type":[{"value":"9780262288477","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[1994,1,11]]},"DOI":"10.7551\/mitpress\/3133.003.0005","type":"book-chapter","created":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T18:37:42Z","timestamp":1553884662000},"page":"29-70","source":"Crossref","is-referenced-by-count":0,"title":["First-order Logic"],"prefix":"10.7551","member":"281","container-title":["From Logic to Logic Programming"],"language":"en","link":[{"URL":"https:\/\/direct.mit.edu\/books\/monograph\/chapter-pdf\/2444139\/9780262288477_cac.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T19:17:42Z","timestamp":1719602262000},"score":12.136891,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/books\/book\/3948\/chapter\/165002\/First-order-Logic"}},"issued":{"date-parts":[[1994,1,11]]},"ISBN":["9780262288477"],"references-count":0,"URL":"https:\/\/doi.org\/10.7551\/mitpress\/3133.003.0005","published":{"date-parts":[[1994,1,11]]}},{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:46:05Z","timestamp":1751982365917},"reference-count":0,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["History and Philosophy of Logic"],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1080\/01445340051095856","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T12:02:59Z","timestamp":1027684979000},"page":"223-229","source":"Crossref","is-referenced-by-count":4,"title":["Logic, Logic, and Logic"],"prefix":"10.1080","volume":"21","author":[{"given":"George","family":"Boolos","sequence":"first","affiliation":[]}],"member":"301","container-title":["History and Philosophy of Logic"],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/01445340051095856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,13]],"date-time":"2016-12-13T20:25:51Z","timestamp":1481660751000},"score":12.107389,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/01445340051095856"}},"issued":{"date-parts":[[2000,9]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["10.1080\/01445340051095856"],"URL":"https:\/\/doi.org\/10.1080\/01445340051095856","ISSN":["0144-5340","1464-5149"],"issn-type":[{"value":"0144-5340","type":"print"},{"value":"1464-5149","type":"electronic"}],"published":{"date-parts":[[2000,9]]}},{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:54:36Z","timestamp":1743036876241,"version":"3.40.3"},"publisher-location":"Cham","reference-count":0,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030673956"},{"type":"electronic","value":"9783030673963"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-67396-3_3","type":"book-chapter","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T13:06:56Z","timestamp":1645448816000},"page":"81-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic)"],"prefix":"10.1007","author":[{"given":"Odysseus","family":"Makridis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,21]]},"container-title":["Palgrave Philosophy Today","Symbolic Logic"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67396-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T17:15:11Z","timestamp":1652375711000},"score":12.08947,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-67396-3_3"}},"issued":{"date-parts":[[2022]]},"ISBN":["9783030673956","9783030673963"],"references-count":0,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67396-3_3","ISSN":["2947-9339","2947-9347"],"issn-type":[{"type":"print","value":"2947-9339"},{"type":"electronic","value":"2947-9347"}],"published":{"date-parts":[[2022]]},"assertion":[{"value":"21 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]},{"indexed":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T02:10:45Z","timestamp":1715393445114},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780199669585","type":"print"},{"value":"9780191885273","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2014,10,30]]},"DOI":"10.1093\/oseo\/instance.00256997","type":"book-chapter","created":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T17:38:33Z","timestamp":1571938713000},"source":"Crossref","is-referenced-by-count":0,"title":["Summaries of Logic"],"prefix":"10.1093","member":"286","container-title":["Peter of Spain: Summaries of Logic"],"original-title":["Summaries of Logic"],"language":"en","deposited":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T17:17:26Z","timestamp":1657041446000},"score":12.073247,"resource":{"primary":{"URL":"http:\/\/www.oxfordscholarlyeditions.com\/view\/10.1093\/actrade\/9780199669585.book.1\/actrade-9780199669585-work-1"}},"issued":{"date-parts":[[2014,10,30]]},"ISBN":["9780199669585","9780191885273"],"references-count":0,"URL":"https:\/\/doi.org\/10.1093\/oseo\/instance.00256997","published":{"date-parts":[[2014,10,30]]}},{"indexed":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T10:23:51Z","timestamp":1715250231146},"reference-count":0,"publisher":"Oxford University Press","isbn-type":[{"value":"9780190690649","type":"print"},{"value":"9780190690670","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"published-print":{"date-parts":[[2018,8,30]]},"abstract":"
Logic may be characterized as the science aiming at revealing the deep logical structure of statements and, correlatively, at evaluating the arguments involving such statements. This chapter focuses on the