sequent calculus (Q1771121)
Jump to navigation
Jump to search
style of formal logical argumentation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | sequent calculus |
style of formal logical argumentation |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(14 entries)
- dewiki Sequenzenkalkül
- enwiki Sequent calculus
- eowiki Sekvaĵa kalkulo
- eswiki Cálculo de secuentes
- frwiki Calcul des séquents
- huwiki Szekvenskalkulus
- jawiki シークエント計算
- kowiki 시퀀트 계산
- ltwiki Sekvencinis skaičiavimas
- plwiki Sekwenty Gentzena
- ptwiki Cálculo de sequentes
- ruwiki Исчисление секвенций
- ukwiki Числення секвенцій
- zhwiki 相继式演算