infinitary logic (Q6029713)
Jump to navigation
Jump to search
logic that allows infinitely long statements and/or infinitely long proofs
Language | Label | Description | Also known as |
---|---|---|---|
English | infinitary logic |
logic that allows infinitely long statements and/or infinitely long proofs |
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- enwiki Infinitary logic
- eswiki Lógica infinitaria
- frwiki Logique infinitaire
- jawiki 無限論理
- kowiki 무한 논리
- kywiki Чексиз логика
- ptwiki Lógica infinitária