Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,703,626 papers from all fields of science
Search
Sign In
Create Free Account
Theory (mathematical logic)
Known as:
Deductive theory
, Theory (logic)
, Subtheories
Expand
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Algorithmic information theory
Axiomatic system
Categorical logic
Doxastic logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Towards Context-Based Concurrent Formal Theories
A. Schumann
Parallel Processing Letters
2015
Corpus ID: 28547649
We define a kind of simple actions of labelled transition systems. These actions cannot be atomic; consequently, their…
Expand
2015
2015
On Fuzzification of Color Spaces for Medical Decision Support in Video Capsule Endoscopy
V. B. Surya Prasath
Midwest Artificial Intelligence and Cognitive…
2015
Corpus ID: 13097651
Advances in image and video processing algorithms and the availability of computational resources has paved the way for real-time…
Expand
2013
2013
Optimization of a Fuzzy Tracking Controller for an Autonomous Mobile Robot under Perturbed Torques by Means of a Chemical Optimization Paradigm
Leslie Astudillo
,
P. Melin
,
O. Castillo
Recent Advances on Hybrid Intelligent Systems
2013
Corpus ID: 29143777
This paper addresses the tracking problem for the dynamic model of a unicycle mobile robot. A novel optimization method inspired…
Expand
2013
2013
CHEMICAL OPTIMIZATION PARADIGM APPLIED TO A FUZZY TRACKING CONTROLLER FOR AN AUTONOMOUS MOBILE ROBOT
Leslie Astudillo
,
P. Melin
,
O. Castillo
2013
Corpus ID: 8336300
This paper addresses the tracking problem for the dynamic model of a unicycle mobile robot. A novel optimization method inspired…
Expand
2013
2013
Optimization of Type-2 and Type-1 Fuzzy Tracking Controllers for an Autonomous Mobile Robot under Perturbed Torques by Means of a Chemical Optimization Paradigm
Leslie Astudillo
,
P. Melin
,
O. Castillo
Soft Computing Applications in Optimization…
2013
Corpus ID: 35808002
This paper addresses the tracking problem for the dynamic model of a unicycle mobile robot. A novel optimization method inspired…
Expand
1999
1999
Intelligent hierarchical control of a deployable manipulator
J. Goulet
1999
Corpus ID: 63548046
This thesis focuses on the development and implementation of an intelligent hierarchical controller for a deployable manipulator…
Expand
1996
1996
La identificación de alumnos con altas habilidades: enfoques y dimensiones actuales
Á. Martínez
1996
Corpus ID: 161806391
LA PRESENTE INVESTIGACION TIENE COMO FINALIDAD LA IDENTIFICACION DE SUJETOS CON ALTAS HABILIDADES Y EL ANALISIS DE LAS…
Expand
Review
1991
Review
1991
La Teoría Triárquica de la Inteligencia: un modelo que ayuda a entender la naturaleza del retraso mental
Robert J. Sternberg
,
M. Sánchez
1991
Corpus ID: 145450838
The aim of this article is to propose a theoretical foundation for undertanding mental abilities and retardation, in them that…
Expand
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
Expand
1964
1964
A Note on Tributary Switching Networks
S. Levy
,
R. Winder
,
Thomas H. Mott
IEEE Transactions on Electronic Computers
1964
Corpus ID: 206506755
We read Miyata's recent paper' with inand 2) requires no greater appeal to in"commonly." I do not mean that my terest. We take…
Expand