Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,934,768 papers from all fields of science
Search
Sign In
Create Free Account
Empty domain
In first-order logic the empty domain is the empty set having no members. In traditional and classical logic domains are restrictedly non-empty in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Drinker paradox
First-order logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Atmospheric boundary layer stability and its application to computational fluid dynamics
H. J. Breedt
2018
Corpus ID: 125509616
Atmospheric Boundary Layer Stability and its Application to Computational Fluid Dynamics Author: Hendrik Johannes Breedt…
Expand
2015
2015
Statistical Analysis of Fractal Image Coding and Fixed Size Partitioning Scheme By Swalpa
Kumar Roy
,
Samir Kumar Bandyopadhay
,
Debnath Bhattacharyya
,
Tai-Hoon Kim Sungshin
2015
Corpus ID: 37557938
Fractal Image Compression (FIC) is a state of the art technique used for high compression ratio. But it lacks behind in its…
Expand
2012
2012
Interval Mathematics: Foundations, Algebraic Structures, and Applications
Hend Dawood
2012
Corpus ID: 124786124
Student Name: Hend Dawood Mohamed. Thesis Title: Interval Mathematics: Foundations, Algebraic Structures, and Applications…
Expand
2011
2011
Maximal monotone operators with non-empty domain interior; characterizations and continuity properties
M. Voisei
2011
Corpus ID: 118850199
In the context of general Banach spaces characterizations for the maximal monotonicity of operators with non-empty domain…
Expand
2010
2010
SAT Solving Experiments in Multi-Domain Logic *
T. Jebelean
,
Gábor Kusper
2010
Corpus ID: 37841716
Multi-Domain Logic (MDL) is a generalization of signed logi c, in which every variable has its own domain. This aspect increases…
Expand
2007
2007
Reasoning with Instances of Heterogeneous Ontologies
L. Serafini
,
A. Tamilin
Semantic Web Applications and Perspectives
2007
Corpus ID: 16681190
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings…
Expand
2007
2007
A Procedure for Description Logic ALCFI
Yu Ding
,
V. Haarslev
2007
Corpus ID: 14570914
A combination of inverse roles and functional restrictions makes the underlying description logics (DLs) lose the finite model…
Expand
Review
2007
Review
2007
Basic Quantiier Theory 2 a Trace of History 2.1 Aristotle
J. van Eijck
2007
Corpus ID: 14542825
1 Preamble According to Lindstrr om 1966 a quantiier is a functor which assigns to each non-empty domain a relation among…
Expand
2002
2002
Glossary of Technical Terms -version 18.4 (numbers Refer to Authors.comments), 296 Entries
L. Floridi
2002
Corpus ID: 15847281
DATA TYPE See DATA ABSTRACTION ABSTRACTION (The result of) a process of simplification, to describe something at a more general…
Expand
1972
1972
Sommers on empty domains and existence
G. Englebretsen
Notre Dame J. Formal Log.
1972
Corpus ID: 992749
as true in any domain. Thus he was forced to assume (so he thought) that there is always at least one object in any domain which…
Expand