Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
131	Some hints on reading Boolos, “To Be is to Be. . . ” John MacFarlane—Philosophy 142 February 3, 2011 There are some things in this article that will only make sense to you if you’ve studied some metalogic and set Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-03 15:19:17 Model theory Non-standard model of arithmetic Second-order logic S Plural quantification First-order logic Peano axioms Interpretation Compactness theorem Mathematical logic Logic Mathematics
132	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
133	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
134	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
135	Substitutional Quantifiers John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 13:16:19 Semantics Model theory Metalogic Interpretation Quasi-quotation Truth-value semantics Constructible universe Well-formed formula Quantification Logic Mathematical logic Formal languages
136	Prior’s tonk John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:06:47 Logical consequence Metalogic Philosophy of mathematics Entailment Rule of inference Inference Negation Proof theory Rudolf Carnap Logic Propositional calculus Logical syntax
137	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
138	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
139	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
140	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic

UPDATE