scientific article; zbMATH DE number 789391
From MaRDI portal
zbMath0842.03003MaRDI QIDQ4846259
Publication date: 23 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictextbookPROLOGintuitionistic logicmathematical logicapplied logicclassical predicate logic
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)
Related Items
Computing definite logic programs by partial instantiation, Index Sets for Finite Normal Predicate Logic Programs with Function Symbols, The co-invariant generator: An aid in deriving loop bodies, Intuitionistic logic as the implement of incremental model construction for natural language, The expressiveness of locally stratified programs, Modelling a public-key infrastructure, Game characterizations of logic program properties, First-order automated reasoning with theories: when deduction modulo theory meets practice, Computing minimal models by partial instantiation, Resolution is cut-free, Theorem proving by chain resolution, A Logical Splitting Strategy for the Belief Structure of Agents, A relevance restriction strategy for automated deduction
