second-order logic (Q1548746)
Jump to navigation
Jump to search
extension of first-order logic allowing quantification over functions and relations
- second-order predicate logic
Language | Label | Description | Also known as |
---|---|---|---|
English | second-order logic |
extension of first-order logic allowing quantification over functions and relations |
|
Statements
graffito showing the second‐order sentence ∃𝜑𝜑 (quantifying over the nullary relation 𝜑) (English)
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(15 entries)
- arwiki منطق الرتبة الثانية
- cawiki Lògica de segon ordre
- dewiki Prädikatenlogik zweiter Stufe
- elwiki Λογική δευτέρου βαθμού
- enwiki Second-order logic
- eswiki Lógica de segundo orden
- hewiki לוגיקה מסדר שני
- jawiki 二階述語論理
- kowiki 2차 논리
- plwiki Rachunek predykatów drugiego rzędu
- ptwiki Lógica de segunda ordem
- ruwiki Логика второго порядка
- svwiki Andra ordningens logik
- ukwiki Логіка другого порядку
- zhwiki 二階邏輯