Cover Image
Read Now

1
by Smullyan, Raymond R.
Published 1968
Springer Berlin Heidelberg
Table of Contents: “... Tableaux -- III. Compactness -- II. First-Order Logic -- IV. First-Order Logic. Preliminaries -- V. First...”
Cover Image
Read Now

2
by Fitting, Melvin
Published 1990
Springer New York
Table of Contents: “... First-Order Logic -- 5.1 First-Order Logic — Syntax -- 5.2 Substitutions -- 5.3 First-Order Semantics...”
Cover Image
Read Now

3
by Fitting, Melvin
Published 1996
Springer New York
Table of Contents: “... The Sequent Calculus -- 4.4 The Davis-Putnam Procedure -- 4.5 Computational Complexity -- 5 First-Order Logic...”
Cover Image
Read Now

5
by Andrews, Peter B.
Published 2002
Springer Netherlands
Table of Contents: “...0 Introduction -- 1 Propositional Calculus -- 2 First-Order Logic -- 3 Provability and Refutability...”
Cover Image
Read Now

6
by Besnard, Philippe
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Logic -- 4. Nonmonotonic Extensions for First Order Logic -- 5. Presentation of Default Logic -- 6...”
Cover Image
Read Now

7
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
Table of Contents: “... Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B...”
Cover Image
Read Now

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Discovery in Databases -- II. Techniques -- 5. Three Companions for Data Mining in First Order Logic -- 6...”
Cover Image
Read Now

9
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between...”
Cover Image
Read Now

10
by Lassaigne, Richard, Rougemont, Michel de
Published 2004
Springer London
Table of Contents: “.... First-order logic -- 4. Completeness of first order logic -- 5. Models of computation -- 6. Recursion...”
Cover Image
Read Now

11
by Eder, Elmar
Published 1992
Vieweg+Teubner Verlag
Table of Contents: “...1 Calculi for First Order Logic -- 1.1 Basic Concepts and General Remarks -- 1.2 Resolution -- 1.3...”
Cover Image
Read Now

12
by Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Table of Contents: “.... The connection method in first-order logic -- IV. Variants and improvements -- V. Applications and extensions...”
Cover Image
Read Now

13
by Cameron, Peter J.
Published 1998
Springer London
Table of Contents: “...1. Naïve set theory -- 2. Ordinal numbers -- 3. Logic -- 4. First-order logic -- 5. Model theory...”
Cover Image
Read Now

14
by Bibel, Wolfgang
Published 1982
Vieweg+Teubner Verlag
Table of Contents: “... and historical remarks -- III. The connection method in first-order logic -- 1. The language of first-order logic...”
Cover Image
Read Now

15
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
“... are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... First-Order Logic -- Institutions: An Abstract Framework for Formal Specifications -- Specification...”
Cover Image
Read Now

17
by Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution...”
Cover Image
Read Now

18
by Xu, Yang, Ruan, Da, Qin, Keyun, Liu, Jun
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- 9 Lattice-Valued Propositional Logics -- 10 Lattice-Valued First-Order Logics -- 11 Uncertainty...”
Cover Image
Read Now

19
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”
Cover Image
Read Now

20
by Dau, Frithjof
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Beta -- 7 Overview for Beta -- 8 First Order Logic -- 9 Semantics for Existential Concept Graphs -- 10...”