Title : The Cultural Red King Effect Published in : The Journal of Mathematical Sociology Author : Cailin O’Connor Address : Department of Logic and Philosophy of Science, University of California, Irvine, 3151 Social

Source URL: cailinoconnor.com

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Nqthm
• Rewrite order
• Symbol

International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S

Source URL: www.thomasebittner.com

• Logic
• Ontology
• Mathematical logic
• Mathematics
• Mereology
• Upper ontology
• First-order logic
• Formal ontology
• S
• Equivalence relation
• Problem of universals
• Binary relation

JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization

Source URL: peterwonka.net

• Constraint programming
• Mathematical optimization
• Constraint
• Regularization
• Analysis
• Constraint satisfaction
• Mathematics
• Applied mathematics
• Constraint logic programming

Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson

Source URL: www.cse.chalmers.se

• Mathematical logic
• Logic
• Theoretical computer science
• Automated theorem proving
• Formal methods
• Logic in computer science
• Electronic design automation
• Craig interpolation
• Interpolation
• Satisfiability modulo theories
• Unit propagation
• Resolution

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage

Source URL: www.comm.utoronto.ca

• Mathematics
• Combinatorics
• Discrete mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Greedy algorithm
• Program optimization
• Electric power quality
• Mathematical optimization

nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals

Source URL: www.analytica.phs.uoa.gr

• Modal logic
• Logical connectives
• Conditionals
• Philosophical logic
• Philosophy of language
• Doxastic logic
• Material conditional
• Propositional calculus
• Strict conditional
• Proposition
• Mathematical proof
• Meaning

Sutra: International Journal of Mathematical Science Education, Vol. 2, No. 1, Useful Mathematical Symbols

Source URL: www.tmrfindia.org

• Quantification
• Elementary arithmetic
• Mathematical logic
• Mathematical notation
• Integral
• Interval
• Universal quantification
• Equality
• Exponentiation
• Quantifier
• Plus-minus sign
• ISO 31-11

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: www.cse.chalmers.se

• Mathematical optimization
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Constraint
• Constraint logic programming
• Constraint satisfaction

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field