<--- Back to Details
First PageDocument Content
Model theory / Arguments for the existence of God / Ontological argument / Prover9 / First-order logic / Argument / Interpretation
Date: 2011-02-19 16:20:02
Model theory
Arguments for the existence of God
Ontological argument
Prover9
First-order logic
Argument
Interpretation

Paul E. Oppenheimer and Edward N. ZaltaIntroduction

Add to Reading List

Source URL: www.peoppenheimer.org

Download Document from Source Website

File Size: 205,52 KB

Share Document on Facebook

Similar Documents

Software / Theoretical computer science / Formal methods / Automated theorem proving / Logic in computer science / Proof assistants / Formal verification / Automated reasoning / KeY / Prover9 / Frama-C / First-order logic

Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

DocID: 1lzVy - View Document

Model theory / Arguments for the existence of God / Ontological argument / Prover9 / First-order logic / Argument / Interpretation

Paul E. Oppenheimer and Edward N. ZaltaIntroduction

DocID: 1kFpg - View Document

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

DocID: 1gNFb - View Document

Formal languages / Semantics / Predicate logic / Theoretical computer science / Model theory / Discourse representation theory / First-order logic / Earley parser / Prover9 / Logic / Mathematics / Science

An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009

DocID: PoUg - View Document

Kumquat / Prover9 / FO / Flora / Mathematics / Asia / Citrus / Flora of China

Logics beyond the syllogistic boundary Larry Moss NASSLLI[removed]

DocID: aKFc - View Document