Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
391	econstor www.econstor.eu Der Open-Access-Publikationsserver der ZBW – Leibniz-Informationszentrum Wirtschaft The Open Access Publication Server of the ZBW – Leibniz Information Centre for Economics Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2010-01-21 04:07:39 New classical macroeconomics Deduction Entailment Metalogic Rational expectations Logic Propositional calculus Macroeconomics
392	F:/ANDRE/PROJECTS/Monteiro/JMLFI/KKLM v5.dvi Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2013-05-22 03:34:55 Deduction Entailment Logical consequence Metalogic Maximum likelihood Credit risk Economic model Logic Estimation theory M-estimators
393	Physical capital, knowledge capital, and the choice between FDI and outsourcing Yongmin Chen Department of Economics, University of Colorado, Boulder Ignatius J. Horstmann Rotman School of Management, University of Toron Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2012-04-30 14:12:46 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
394	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]PRELUDE TO A SOCIO-LOGIC OF IMPERATIVES Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Philosophy of language Model theory Metalogic Semantics Norm Interpretation Modal logic Imperative logic Entailment Logic Philosophy Philosophical logic
395	Quantificational Logic and Empty Names Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2014-03-17 14:09:09 Predicate logic Logical syntax Metalogic First-order logic Modal logic Entailment Saul Kripke Well-formed formula Formal semantics Logic Mathematical logic Philosophical logic
396	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]PRIORITIZED IMPERATIVES AND NORMATIVE CONFLICTS Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:28 Logic Metaphilosophy Differential geometry Differential topology Operator theory Linear temporal logic Mathematics Interpretation Model theory Metalogic Constructible universe
397	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
398	CALCULATING AND USING SECOND ORDER ACCURATE SOLUTIONS OF DISCRETE TIME DYNAMIC EQUILIBRIUM MODELS JINILL KIM, SUNGHYUN KIM, ERNST SCHAUMBURG, AND CHRISTOPHER A. SIMS A BSTRACT. We describe an algorithm for calculating se Add to Reading List Source URL: federalreserve.gov Language: English - Date: 2003-12-04 10:47:08 Logic Mathematics Metaphilosophy Model theory Metalogic Structure
399	Appendix: Monetary Policy Drivers of Bond and Equity Risks John Y. Campbell, Carolin Pflueger, and Luis M. Viceira1 First draft: March 2012 Add to Reading List Source URL: scholar.harvard.edu Language: English - Date: 2014-04-22 13:11:22 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
400	Incremental Verification of Compiler Optimizations? Grigory Fedyukovich1 , Arie Gurfinkel2 , and Natasha Sharygina1 1 University of Lugano, Switzerland, Add to Reading List Source URL: verify.inf.usi.ch Language: English - Date: 2014-06-13 07:35:01 Logical consequence Logical syntax Metalogic Symbol Μ operator Logic Deduction Entailment

UPDATE