Skip to search formSkip to main contentSkip to account menu

Theory (mathematical logic)

Known as: Deductive theory, Theory (logic), Subtheories 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Algorithmic information theoryAxiomatic systemCategorical logicDoxastic logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Design Intelligent Robust Model-base Sliding Guidance Controller for Spherical Motor
Abstract —Stability, robust and reliability are the main objectives to design a controller for highly nonlinear spherical motor… 
2010
2010
The mental logic theory of conditional propositions
2008
2008
Fuzzy Classification on Relational Databases
The fuzzy logic theory proposed by Zadeh (1965) is based on intuitive reasoning and takes into account human subjectivity and… 
2007
2007
Occupancy grids building by sonar and mobile robot
Highly Cited
2006
Highly Cited
2006
A Two-Stage Fuzzy Logic Approach for Wireless LAN Indoor Positioning
Alternatively to GNSS, in indoor environments WLAN according to the IEEE 802.11 standard can provide location information by… 
2004
2004
Coupling fuzzy sets theory and GIS-based cellular automata for land-use change modeling
  • S. Dragićević
  • IEEE Annual Meeting of the Fuzzy Information…
  • 2004
  • Corpus ID: 14686370
Cellular automata (CA) theory in a geographic information systems (GIS) based framework is commonly used for modeling complex… 
Highly Cited
2004
Highly Cited
2004
A delay-based approach using fuzzy logic to improve TCP error detection in ad hoc networks
In recent years, a great deal of effort has been devoted to make the TCP protocol more resilient to the random packet losses… 
Highly Cited
1995
Highly Cited
1995
Optimization of fuzzy expert systems using genetic algorithms and neural networks
In this paper, fuzzy logic theory is used to build a specific decision-making system for heuristic search algorithms. Such… 
1989
1989
A logical treatment of semi-free word order and bounded discontinuous constituency
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard… 
Review
1984
Review
1984
Free Constructions in Algebraic Institutions
To provide a formal framework for discussing specifications of algebraic abstract data types we introduce the notion of an… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)