형식체계,formal_system


Sub:
Lambda calculus - 람다대수,lambda_calculus Wiki:LambdaCalculus
Untyped - untyped_lambda_calculus
Typed - typed_lambda_calculus
Predicate calculus - 술어논리,predicate_logic (AKA 일차논리,first-order_logic)
Propositional calculus - 명제논리,propositional_logic (AKA 영차논리,zeroth-order_logic)
Sequent calculus - 시퀀트계산,sequent_calculus(writing)
Combinatory calculus - see WpEn:Combinatory_logic#Combinatory_calculi
Wiki:CombinatoryLogic
WpEn:SKI_combinator_calculus
"that may be perceived as a reduced version of the untyped lambda calculus"
Process calculus WpEn:Process_calculus { aka process_calculi process_algebra }
"a diverse family of related approaches for formally modelling concurrent_systems" (wpen)
pi-calculus π-calculus pi_calculus WpEn:π-calculus https://esolangs.org/wiki/Pi_Calculus
Logical calculus https://encyclopediaofmath.org/wiki/Logical_calculus
Kappa calculus - WpEn:Kappa_calculus
...lambda calc.와 달리 함수는 항상 first-class_object 이고 higher-order_function 는 없다.
Cite: Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed_lambda_calculus"
///TODO 일단 _calculus라는 이름 붙은거 여기 모았는데 이게 다 형식체계인지 CHK

associative_calculus
https://encyclopediaofmath.org/wiki/Associative_calculus
"also called Thue systems" (via https://encyclopediaofmath.org/wiki/Calculus 마지막 문장)
https://encyclopediaofmath.org/wiki/Thue_system
MKLINK: semi-Thue_system { rel. string_rewriting_system { rel. rewrite_rule } }
wt x 2023-12
"associative calculus"
Ggl:associative calculus
rel 결합법칙,associativity ... '결합성 대수'??

group_calculus
associative_calculus의 하나
https://encyclopediaofmath.org/wiki/Group_calculus
wt x 2023-12
"group calculus"
Ggl:group calculus

Hoare_logic
Hoare logic
WtEn:Hoare_logic
based on Hoare_triple { Hoare triple WtEn:Hoare_triple }
WpEn:Hoare_logic : program의 correctness{WpEn:Correctness_(computer_science)}를 엄밀하게 추리,reasoning하는 것에 대한 규칙,rule 등으로 이루어진 형식체계,formal_system ? chk
mklink precondition postcondition (앞 둘은 조건,condition에 작성중)
https://everything2.com/title/Hoare Logic
"Hoare logic"
Ggl:Hoare logic
Up: logic

effect_system - writing

Gentzen_system and
Gentzen_formal_system - writing
https://encyclopediaofmath.org/wiki/Gentzen_formal_system
... Google:Gentzen formal system Naver:Gentzen formal system
Gerhard_Gentzen

///그럼 이름으로 보아 order순으로 정렬하면
zeroth-order logic : 명제논리,propositional_logic
first-order lgoic : 술어논리,predicate_logic
higher order logic : 2 이상??

//명제논리 vs 술어논리 구분 ↓. chk term usage
명제논리를 "0차 술어논리" 라고도 부른다.
1차 이상의 술어논리,predicate_logic는 명제논리,propositional_logic의 확장이다.[1]

tmp bmks ko

형식체계의 정의:
https://chocobear.tistory.com/151?category=851370 의 Definition 1. 참조


AKA logistic system, axiomatic system


https://encyclopediaofmath.org/wiki/Formal_system - deductive system
deductive_system ... 연역체계? ... 연역,deduction

Up: 논리,logic 수학,math system (계,system or 체계,system or 시스템,system 중에 뭐가 best?)
----