Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
71	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
72	Microsoft Word - BaldwinRobertNicoud2008GuideToCalculations Add to Reading List Source URL: frobertnicoud.weebly.com Language: English - Date: 2014-06-30 11:39:11 Structure Logic Abstraction Metalogic Model theory Symbol
73	Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-10-09 11:42:35 Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic
74	Global Learning of Textual Entailment Graphs Supervisors: Eytan Ruppin, Ido dagan, Shimon Edelman Natural Language Understanding Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:01 Propositional calculus Entailment Metalogic Philosophical logic Logic Logical consequence Deduction
75	Monopolistic competition: the Dixit-Stiglitz-Spence model Fr´ed´eric Robert-Nicoud October 23, 2012 Abstract The workhorse of modern Urban Economics, International Trade, Economic Growth, Add to Reading List Source URL: frobertnicoud.weebly.com Language: English - Date: 2012-10-23 05:12:15 Sigma-algebra Metalogic Model theory Group theory
76	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-01-31 17:11:12 Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic
77	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2013-07-30 04:18:35 Algebra Information science Knowledge representation Technical communication Metalogic Ontology Module Structure Elementary class Mathematics Model theory Abstract algebra
78	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
79	Interpolation for Data Structures ∗ Deepak Kapur Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2009-06-21 20:13:07 Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory
80	Towards a formal specification of access control Mathieu Jaume and Charles Morisset SPI – LIP6 – University Paris 6, 8 rue du Capitaine Scott, Paris 75015, France, , Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2006-08-29 07:34:00 Bell–LaPadula model Organisation-based access control Mandatory access control Structure Secure state Cyberwarfare Security Metalogic Model theory