natural deduction (Q1572108)
Jump to navigation
Jump to search
kind of proof calculus
- Natural deduction
Language | Label | Description | Also known as |
---|---|---|---|
English | natural deduction |
kind of proof calculus |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(17 entries)
- dewiki Systeme natürlichen Schließens
- enwiki Natural deduction
- eswiki Deducción natural
- fawiki استنتاج طبیعی
- fiwiki Luonnollinen päättely
- frwiki Déduction naturelle
- itwiki Deduzione naturale
- jawiki 自然演繹
- kowiki 자연 연역
- nlwiki Natuurlijke deductie
- nowiki Naturlig deduksjon
- plwiki Dedukcja naturalna
- ptwiki Dedução natural
- ruwiki Натуральный вывод
- simplewiki Natural deduction
- zh_yuewiki 自然演繹
- zhwiki 自然演绎