Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
581	On the structure of perfect sets of points Add to Reading List Source URL: www.dwc.knaw.nl Language: English - Date: 2010-11-02 12:01:46 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
582	Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2007-10-15 04:40:08 Metalogic Sequent Proof procedure First-order logic Rule of inference Proof calculus Logic Proof theory Mathematical logic
583	Circular Logic for Computational Semantics Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Metalogic Propositional calculus Mathematical logic Well-formed formula Interpretation Entailment First-order logic Tautology Expression Logic Logical syntax Formal languages
584	arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:34:09 Metalogic Forcing Zermelo–Fraenkel set theory Saharon Shelah Equiconsistency Set theory Large cardinal Model theory Mathematical proof Mathematics Logic Mathematical logic
585	Algorithm for constructing counterexamples to the Kalman problem Add to Reading List Source URL: www.math.spbu.ru Language: English - Date: 2012-11-11 15:40:40 Metalogic Model theory
586	A Relationally Parametric Model of the Calculus of Constructions Neelakantan R. Krishnaswami Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-07-11 10:20:59 Logic in computer science Nonassociative algebra Entailment Logical consequence Metalogic Constructible universe Quasigroup Combinatory logic Curry–Howard correspondence Logic Mathematics Deduction
587	Complete Axiomatizations Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-06-28 17:11:11 Metalogic Model theory Formal languages Proof theory Quantifier elimination Unification Well-formed formula Decidability Term algebra Logic Mathematical logic Mathematics
588	First Order Logic Pete Manolios Northeastern Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-10-16 20:06:07 Model theory Formal languages Metalogic Predicate logic Interpretation First-order logic Well-formed formula Structure Function Logic Mathematics Mathematical logic
589	Pervasive Stickiness — Appendix By N. Gregory Mankiw and Ricardo Reis Harvard University and Princeton University Add to Reading List Source URL: scholar.harvard.edu Language: English - Date: 2013-02-05 00:28:06 Logical consequence Logical syntax Metalogic Letter Logic Deduction Entailment
590	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory

UPDATE