Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
11	DRAFT CODING METALANGUAGE: ISSUES RAISED IN THE CREATION AND PROCESSING OF SPECIALISED CORPORA Antoinette Renouf, University of Birmingham, England Add to Reading List Source URL: rdues.bcu.ac.uk Language: English - Date: 2009-05-21 10:50:54 Linguistics Language Culture Applied linguistics Metalanguages Metalogic Proof theory Corpus linguistics Metalinguistics Transcription
12	PATRES Pattern Resilience PATRES workshop (ECCS), University of Warwick SeptemberViability and resilience in the dynamics of Add to Reading List Source URL: www.patres-project.eu Language: English - Date: 2009-11-05 13:33:21 Logic Language acquisition Mathematics Structure Metalogic Model theory Psychological resilience Resilience Ecological resilience Multilingualism Monolingualism
13	Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2008-06-16 11:19:27 Algebra Mathematics Abstract algebra Metalogic Model theory Claude Chevalley Simple group Asymptotic theory Field
14	Singing Wires Telephone Collectors International Newsletter Add to Reading List Source URL: www.telephonecollectors.org Language: English - Date: 2013-07-15 17:38:50 Economy Exonumia Business Telephony Token coins Public phones Street furniture Telephone token Metalogic Payphone Telephone Security token
15	Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte Add to Reading List Source URL: fi.ort.edu.uy Language: English Metalogic Model theory Dynamical system Philosophy Logic Abstraction
16	Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2 Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2012-03-15 13:21:54 Computational complexity theory Logic Complexity classes Abstraction Metalogic Predicate logic Finite model theory IP FO Quantifier PSPACE-complete Model theory
17	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
18	Belief Merging without Distance Measures Pilar Pozos Parra1 and Ver´onica Borja Mac´ıas2 1 Department of Informatics and Systems University of Tabasco Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:13 Metalogic Model theory Epistemology
19	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem
20	’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-12-20 03:07:54 Metalogic Model theory Structure Consistency model

UPDATE