Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
301	Some criteria for acceptable abstraction Øystein Linnebo University of Bristol Draft of November 8, 2009 An abstraction principle is a principle of the form Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:00 Mathematics Cardinal number Structure Theory Stable theory Compactness theorem Model theory Logic Metalogic
302	Abstracta 6 : 1, pp. 136 – 155, 2010 AN INDUCTIVE MODAL APPROACH FOR THE LOGIC OF EPISTEMIC INCONSISTENCY1 Ricardo Silvestre Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Philosophical logic Non-classical logic Semantics Metalogic Accessibility relation Paraconsistent logic Interpretation Entailment S5 Logic Mathematical logic Modal logic
303	An Easier Way to Calibrate1 May 16, 1995 revised December 7, 1996 Drew Fudenberg Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 1996-12-07 20:15:48 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
304	Bad Company Tamed Øystein Linnebo University of Bristol Draft of 8 May Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:46 Modal logic Metalogic Model theory Formal languages First-order logic Individuation Function Well-formed formula Barcan formula Logic Mathematical logic Mathematics
305	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
306	Probabilistic elementary analysis Main results, and references Quantifying over events in probability logic: expressibility vs. computability Stanislav O. Speranski Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-09-05 03:25:42 Logical syntax Non-classical logic Philosophical logic Model theory Quantification Probabilistic logic Probability space Well-formed formula Proposition Logic Mathematical logic Metalogic
307	Chemistry Studio : An Intelligent Tutoring System (Natural Language Component) Ankit Kumar Abhishek Kar Sumit Gulwani Ashish Tiwari Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-11-24 04:10:34 Formal languages Semantics Metalogic Quantification Well-formed formula Resolution Function Interpretation Parsing Logic Mathematics Mathematical logic
308	Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-08-27 15:54:05 Boolean algebra Forcing Metalogic Lambda calculus Boolean-valued model Constructible universe FO Model theory Combinatory logic Mathematical logic Mathematics Theoretical computer science
309	Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Metalogic Computational complexity theory Proof theory Descriptive complexity Finite model theory Quantification Model theory Decidability Well-formed formula Logic Theoretical computer science Mathematical logic
310	Which Abstraction Principles are Acceptable? A Limitative Result Øystein Linnebo and Gabriel Uzquiano March 19, [removed] Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:17 Thought Cognition Model theory Metalogic Abstraction Cardinal number Stable theory Function Logicism Mathematics Mind Creativity

UPDATE