writing

번역?

formulas 이 있는데 premise들과 conclusion(들)이 있고
sequent의 형태는

전제,premise(들) -> 결론,conclusion(들)

sequent는 conditional_assertion 의 일종.

MKL
전건,antecedent
후건,consequent

Words/Topics/Glossary:

succedent (writing)
antecedent (writing)

1. (logic) The conditional_part of a hypothetical_proposition(가설,hypothesis적/가언적 명제? 명제proposition), i.e. p → q, where p is the antecedent, and q is the consequent. //// 전건 ?
   
2. (logic) The first of two subsets of a sequent, consisting of all the sequent's formulae which are valuated as true.
   
   

Sub:

sequent_notation =,sequent_notation =,sequent_notation . sequent_notation
{
curr. 증명,proof
시퀀트표기법

시퀀트 표기법

sequent_notation
시퀀트 표기법
시퀀트 표기법
시퀀트 표기법
"시퀀트 표기법"

Up: 시퀀트,sequent 표기법,notation
}

sequent calculus
sequent_calculus =,sequent_calculus =,sequent_calculus . sequent_calculus (writing)
{
sequent calculus
sequent calculi (pl.)

번역들
"정식열 계산(sequent calculus)"[1]

MKLINK
연역,deduction
자연연역,natural_deduction - 대비됨, 비교.
증명,proof
proof_theory

Twins:
sequent_calculus
https://www.pls-lab.org/en/Sequent_calculus
시퀀트_계산
Sequent_calculus
https://encyclopediaofmath.org/wiki/Sequent_calculus

Up: 시퀀트,sequent 칼큘러스,calculus deductive_system =,deductive_system =,deductive_system . deductive_system { deductive_system deductive_system deductive_system Bing: deductive_system iiiiiiiiiiiiiiii }

sequent calculus
sequent calculus
"sequent calculus"
}

hypersequent
hypersequent =,hypersequent =,hypersequent . hypersequent
{
하이퍼시퀀트
초시퀀트 ??

hypersequent = https://en.wiktionary.org/wiki/hypersequent : "A multidimensional generalization of a sequent" (2023-09-14)

https://www.pls-lab.org/en/Hypersequents

hypersequent x 2023-09-14
hypersequent
hypersequent
hypersequent

하이퍼시퀀트
하이퍼시퀀트
}

MKLINK
식,expression
전제,premise
결론,conclusion { https://proofwiki.org/wiki/Definition:Conclusion }
전건,antecedent
succedent =,succedent =,succedent . succedent - writing
{
succedent

succedent

succedent

succedent

succedent
}

발음이/철자가 비슷한단어
1. 아마관계있??
consequence
sequence
왜이렇게생각하냐면

sequence	sequent
consequence	consequent

i.e.

sequence	sequent
consequence	consequent

i.e.

sequence 수열,sequence 시퀀스,sequence	sequent kms : x
consequence (consequence - '결과', ) consequence(결과,consequence(같은한국어로번역되는단어: 결과,result) or 귀결,consequence. curr - 논리결과,logical_consequence	consequent (consequent - '이어지는', )

... or, 아무관계없고 그냥 우연이면 그역시 tbw

sequential =,sequential =,sequential . sequential (adj./prefix)
{
sequential
sequential

sequential발음 보면 시퀜셜 에 가까운데 ... 시퀀셜 이라는 transliteration을 훨 많이 본 듯 하다.
kornorms? 2023-09-14 에 찾아보니 'sequential access' 항목 있음, quote:

시퀜셜액세스(o) / 시퀜셜 액쎄스(X),시퀀셜 액세스(X),시퀀셜 액쎄스(X)
『컴』 =순차적 접근 방식. 파일에 기록되어 있는 순서에 따라서 데이터를 검색하거나 처리하는 방식. (표준국어대사전)

sequential_access =,sequential_access =,sequential_access . sequential_access
{
sequential access
sequential_access
sequential_access
sequential_access
sequential_access
sequential access
sequential access
"sequential access"
sequential 접근,access
}

CategoryPrefix
"sequential"
}

2.

Twins:
https://proofwiki.org/wiki/Definition:Sequent
Sequent
Sequent

sequent

https://ncatlab.org/nlab/show/sequent

Up:
수리논리,mathematical_logic - curr 수리논리,mathematical_logic