시퀀트,sequent

Difference between r1.22 and the current

@@ -173,5 +173,7 @@

WtEn:sequent

https://ncatlab.org/nlab/show/sequent
Up:
[[수리논리,mathematical_logic]] - curr [[VG:수리논리,mathematical_logic]]


writing

번역?
NdEn:sequent
NN:sequent .... 2024-04-05: 없다, "참고로 시퀀트 캘큘러스(sequent_calculus WtEn:sequent_calculus WpEn:Sequent_calculus )라는 증명시스템에서는 가설집합은 시퀀트의 집합이고 결론도 시퀀트이다."라는 언급은 있다 - 수학백과 가설,hypothesis page에.
Ggl:sequent 번역


formulas 이 있는데 premise들과 conclusion(들)이 있고
sequent의 형태는
전제,premise(들) -> 결론,conclusion(들)
sequentconditional_assertion 의 일종.
{ conditional assertion Ggl:conditional assertion Up: 조건부,conditional assertion (단언,assertion or 주장,assertion or ...? ) } // conditional assertion

MKL
전건,antecedent
후건,consequent
KmsE:consequent는 '이어지는' ... (not suitable for pagename...)
WtEn:consequent


Words/Topics/Glossary:

succedent (writing)
via WtEn:succedent:
sequent의 RHS에 있는 formulas.
QQQ conditional_statement 에서 후건 ?

antecedent (writing)
via WtEn:antecedent:
Noun
  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. VG:증명,proof
시퀀트표기법

시퀀트 표기법



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

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



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

Ndict:sequent calculus
Ggl:sequent calculus
"sequent calculus"
}

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

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










발음이/철자가 비슷한단어
1. 아마관계있??
consequence
sequence
왜이렇게생각하냐면
sequence sequent
consequence consequent
i.e.
WtEn:sequence WtEn:sequent
WtEn:consequence WtEn:consequent
i.e.
NdEn:sequence 수열,sequence 시퀀스,sequence NdEn:sequent kms : x
NdEn:consequence
(KmsE:consequence - '결과', )
consequence(결과,consequence(같은한국어로번역되는단어: 결과,result) or 귀결,consequence. curr - 논리결과,logical_consequence
NdEn:consequent
(KmsE:consequent - '이어지는', )
... or, 아무관계없고 그냥 우연이면 그역시 tbw

sequential =,sequential =,sequential . sequential (adj./prefix)
{
WtEn:sequential
NdEn:sequential

Naver:sequential발음 보면 시퀜셜 에 가까운데 ... 시퀀셜 이라는 transliteration을 훨 많이 본 듯 하다.
kornorms? 2023-09-14 에 찾아보니 'sequential access' 항목 있음, quote:
시퀜셜액세스(o) / 시퀜셜 액쎄스(X),시퀀셜 액세스(X),시퀀셜 액쎄스(X)
『컴』 =순차적 접근 방식. 파일에 기록되어 있는 순서에 따라서 데이터를 검색하거나 처리하는 방식. (표준국어대사전)
sequential_access =,sequential_access =,sequential_access . sequential_access
{
sequential access
WtEn:sequential_access
WpSp:sequential_access
WpEn:sequential_access
Srch:sequential_access
Ndict:sequential access
Ggl:sequential access
"sequential access"
sequential 접근,access
}

CategoryPrefix
"sequential"
}

2.