Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q2303607)
Watch
English
Many-sorted logic
Hierarchical typed logic
In more languages
edit
Statements
defining formula
dog
⊆
carnivore
{\displaystyle {\textit {dog}}\subseteq {\textit {carnivore}}}
1 reference
imported from Wikimedia project
English Wikipedia
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
Freebase ID
/m/026v2mg
0 references
JSTOR topic ID
many-sorted-logic
0 references
Microsoft Academic ID
2781231340
0 references
Stanford Encyclopedia of Philosophy ID
logic-many-sorted
0 references
Sitelinks
Wikipedia
(4 entries)
edit
dewiki
Sortenlogik
elwiki
Λογική με πολλούς τύπους
enwiki
Many-sorted logic
ptwiki
Lógica polissortida
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit