Quantifier - PDFSEARCH.IO - Document Search Engine

Quantifier
Results: 263

#	Item
51	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
52	Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-03-16 15:35:01 Model theory Logic Predicate logic Quantification Skolem normal form Inverse trigonometric functions Quantifier Surjective function Unification Herbrandization First-order logic
53	Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi Add to Reading List Source URL: stephenbach.net Language: English - Date: 2014-11-19 16:25:18 Fuzzy logic Quantification Logic in computer science Artificial intelligence Non-classical logic Probabilistic soft logic Fuzzy set Quantifier Fuzzy control system FO Universal quantification PSL
54	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
55	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
56	arXiv:submitcs.LO] 26 MayOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4⋆ ⋆⋆ Andrew Reynolds1 , Morgan Deters2 , Viktor Kuncak1, Cesare Tinelli3 , and Clark Barrett2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2015-05-28 05:14:31
57	Variation in negation and quantifier scope judgments in Korean∗ Chung-hye Han, Jeffrey Lidz and Dennis Ryan Storosheko Simon Fraser University, Maryland University, and Yale University 1 Introduction Korean has two for Add to Reading List Source URL: people.ucalgary.ca Language: English
58	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
59	Quantifier Instantiation Techniques for Finite Model Finding in SMT Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-01-20 16:31:00
60	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier