Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
321	Synthese DOI[removed]s11229[removed]Quantified coalition logic Thomas Ågotnes · Wiebe van der Hoek · Michael Wooldridge Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-10-12 11:30:15 Deduction Entailment Logical consequence Logical syntax Metalogic FO Interpretation Boolean satisfiability problem Logic Theoretical computer science Mathematics
322	Writings of E. J. Ashworth on the History of Logic 64-1990 Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 06:49:58 Traditional logic Abstraction Axiology Term logic Supposition theory Mathematical logic Modal logic Metalogic Organon Logic Philosophy Philosophical logic
323	Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit∗ January 28, 2009 Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2010-04-22 21:09:45 Modal logic Non-classical logic Kripke semantics Sheaf theory Saul Kripke Entailment Tiny Encryption Algorithm Constructible universe Bisimulation Logic Philosophical logic Metalogic
324	Modelling Combinatorial Auctions in Linear Logic Add to Reading List Source URL: www.danieleporello.net Language: English - Date: 2012-12-06 05:17:38 Metalogic Proof theory Philosophical logic Linear logic Auction Sequent calculus If and only if Well-formed formula Entailment Logic Binary operations Logical syntax
325	Writings of E. J. Ashworth on the History of Logic 64-1990 Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:38:19 Traditional logic Abstraction Axiology Term logic Supposition theory Mathematical logic Modal logic Metalogic Organon Logic Philosophy Philosophical logic
326	93 ECAI 2014 T. Schaub et al. (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2014-09-27 08:52:53 Non-classical logic Metalogic Interpretation Modal logic Symbol First-order logic Logic Mathematical logic Model theory
327	arXiv:1402.3722v1 [cs.CL] 15 Feb[removed]word2vec Explained: Deriving Mikolov et al.’s Negative-Sampling Word-Embedding Method Yoav Goldberg and Omer Levy {yoav.goldberg,omerlevy}@gmail.com Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-17 20:31:49 Deduction Entailment Logical consequence Metalogic Maximum likelihood Logic Estimation theory Econometrics
328	Towards a Trivialist Account of Mathematics Agust´ın Rayo mit March 12, 2009 The aim of this paper is to defend mathematical trivialism—the view that the truths of Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-03-12 08:37:42 Philosophical logic Philosophy of language Metalogic Propositions Philosophy of mathematics Truth Semantics Interpretation Model theory Logic Philosophy Logical syntax
329	Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-22 12:28:00 Adjoint functors Monoidal categories Algebraic structures Sheaf theory Monad Universal property Variety Strong monad Functor Abstract algebra Category theory Algebra
330	Analysis and Synthesis: Interdependent Operations in Chemical Language and Practice Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:43 Chemical formulas Formal languages Logical syntax Metalogic Chemical compound Chemical substance Chemist Chemical synthesis Chemical element Chemistry Science Logic

UPDATE