Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
511	Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practi Add to Reading List Source URL: www.modern-medical-science.site88.net Language: English - Date: 2013-02-01 20:00:14 Non-classical logic Metalogic Model theory Entailment Interpretation Many-valued logic Modal logic Newton da Costa Logical connective Logic Philosophical logic Paraconsistent logic
512	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory
513	The Issues The Theory Analysis of Mathematics Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2011-04-08 07:10:10 Z notation Set theory Metalogic Zermelo–Fraenkel set theory Structuralism Object theory Finite set Edward N. Zalta S Mathematical logic Mathematics Logic
514	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
515	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
516	A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:21 Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction
517	Gregory Wheeler Applied Logic without Psychologism Abstract. Logic is a celebrated representation language because of its formal generality. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:23 Philosophy of mathematics Deduction Entailment Metalogic Modal logic Mathematical logic Classical logic Gottlob Frege Function Logic Philosophical logic Non-classical logic
518	AGM Belief Revision in Monotone Modal Logics Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:21 Philosophical logic Model theory Metalogic Propositional calculus Interpretation Kripke semantics Entailment First-order logic Neighborhood semantics Logic Mathematical logic Modal logic
519	Appears in Proceedings of 18th Int’l Joint Conference on Artificial Intelligence (IJCAI ’03). Logical Filtering Eyal Amir and Stuart Russell Computer Science Division, University of California at Berkeley Berkeley, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-10-27 20:32:17 Deduction Entailment Logical consequence Model theory Logical connective Logic Propositional calculus Metalogic
520	Course-Description-and-Plan Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-18 12:13:27 Metalogic Thoralf Skolem First-order logic Soundness Löwenheim–Skolem theorem Axiom Deductive reasoning Non-standard model Theory Logic Mathematical logic Model theory

UPDATE