Completeness axiom - PDFSEARCH.IO - Document Search Engine

Completeness axiom
Results: 9

#	Item
1	SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2012-11-28 10:08:47
2	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
3	SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-11-28 10:08:47
4	Many Roads from the Axiom of Completeness* Andrew Nightingale Abstract “We all grow up believing in the existence of real numbers . . .” (Abbot, 2001, pThe “property that distinguishes” the real numbers i Add to Reading List Source URL: tigger.uic.edu Language: English - Date: 2014-05-26 17:34:36 Philosophy of mathematics Mathematical logic Mathematical induction Proof theory Number system Real number Axiom Charles Sanders Peirce Infinity Mathematics Logic Elementary mathematics
5	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
6	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
7	PDF Document Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-02-02 10:18:03 Semantic Web Mathematical logic Knowledge representation Completeness Description logic Axiom Abox Knowledge representation and reasoning Tbox Logic Ontology Science
8	Dedekind’s forgotten axiom and why we should teach it (and why we shouldn’t teach Add to Reading List Source URL: faculty.uml.edu Language: English - Date: 2011-05-27 10:31:26 Abstraction Dedekind cut Least-upper-bound property Completeness axiom Real number Supremum Completeness Mathematical logic Empty set Mathematics Order theory Mathematical analysis
9	PDF Document Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2012-09-12 10:28:54 Abstraction Ordinal number Partially ordered set Completeness Axiom of choice Constructible universe Total order Well-order Zermelo–Fraenkel set theory Mathematical logic Mathematics Order theory