Sub:
zeroth-order logic : 명제논리,propositional_logic
first-order lgoic : 술어논리,predicate_logic
higher order logic : 2 이상??
Lambda calculus - 람다대수,lambda_calculus LambdaCalculus
Propositional calculus - 명제논리,propositional_logic (AKA 영차논리,zeroth-order_logic)
Sequent calculus - 시퀀트계산,sequent_calculus(writing)
Combinatory calculus - see Combinatory_logic#Combinatory_calculi
Kappa calculus - Kappa_calculus
associative_calculus
Gentzen_system and
Gentzen_formal_system - writing
https://encyclopediaofmath.org/wiki/Gentzen_formal_system
... Gentzen formal system Gentzen formal system
Gerhard_Gentzen
///그럼 이름으로 보아 order순으로 정렬하면Untyped - untyped_lambda_calculus
Typed - typed_lambda_calculus
Predicate calculus - 술어논리,predicate_logic (AKA 일차논리,first-order_logic)Typed - typed_lambda_calculus
Propositional calculus - 명제논리,propositional_logic (AKA 영차논리,zeroth-order_logic)
Sequent calculus - 시퀀트계산,sequent_calculus(writing)
Combinatory calculus - see Combinatory_logic#Combinatory_calculi
CombinatoryLogic
SKI_combinator_calculus
Process calculus Process_calculus { aka process_calculi process_algebra }SKI_combinator_calculus
"that may be perceived as a reduced version of the untyped lambda calculus"
"a diverse family of related approaches for formally modelling concurrent_systems" (wpen)
pi-calculus π-calculus pi_calculus π-calculus https://esolangs.org/wiki/Pi_Calculus
Logical calculus https://encyclopediaofmath.org/wiki/Logical_calculus pi-calculus π-calculus pi_calculus π-calculus https://esolangs.org/wiki/Pi_Calculus
Kappa calculus - 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라는 이름 붙은거 여기 모았는데 이게 다 형식체계인지 CHKCite: Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed_lambda_calculus"
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"
associative calculus
rel 결합법칙,associativity ... '결합성 대수'??
group_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"
associative calculus
rel 결합법칙,associativity ... '결합성 대수'??
associative_calculus의 하나
https://encyclopediaofmath.org/wiki/Group_calculus
wt x 2023-12
"group calculus"
group calculus
Hoare_logichttps://encyclopediaofmath.org/wiki/Group_calculus
wt x 2023-12
"group calculus"
group calculus
Hoare logic
Hoare_logic
Hoare_logic : program의 correctness{Correctness_(computer_science)}를 엄밀하게 추리,reasoning하는 것에 대한 규칙,rule 등으로 이루어진 형식체계,formal_system ? chk
mklink precondition postcondition (앞 둘은 조건,condition에 작성중)
https://everything2.com/title/Hoare Logic
"Hoare logic"
Hoare logic
Up: logic
effect_system - writingHoare_logic
Hoare_logic : program의 correctness{Correctness_(computer_science)}를 엄밀하게 추리,reasoning하는 것에 대한 규칙,rule 등으로 이루어진 형식체계,formal_system ? chk
mklink precondition postcondition (앞 둘은 조건,condition에 작성중)
https://everything2.com/title/Hoare Logic
"Hoare logic"
Hoare logic
Up: logic
Gentzen_system and
Gentzen_formal_system - writing
https://encyclopediaofmath.org/wiki/Gentzen_formal_system
... Gentzen formal system Gentzen formal system
Gerhard_Gentzen
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]
명제논리를 "0차 술어논리" 라고도 부른다.
1차 이상의 술어논리,predicate_logic는 명제논리,propositional_logic의 확장이다.[1]
tmp bmks ko
같은 형식-/formal- 관련:
형식언어,formal_language : 형식체계로 정의한 언어,language.
형식문법,formal_grammar
formal_proof - 증명,proof
....형식,formal or 형태,form?
형식,form?
형식언어,formal_language : 형식체계로 정의한 언어,language.
형식문법,formal_grammar
formal_proof - 증명,proof
....형식,formal or 형태,form?
형식,form?
AKA logistic system, axiomatic system
Twins:
형식_체계
Formal_system
List_of_formal_systems
https://planetmath.org/formalsystem
https://www.britannica.com/topic/formal-system
https://proofwiki.org/wiki/Definition:Formal_System
형식_체계
Formal_system
List_of_formal_systems
https://planetmath.org/formalsystem
https://www.britannica.com/topic/formal-system
https://proofwiki.org/wiki/Definition:Formal_System
https://encyclopediaofmath.org/wiki/Formal_system - deductive system
Up: 논리,logic 수학,math system (계,system or 체계,system or 시스템,system 중에 뭐가 best?)
Up: 논리,logic 수학,math system (계,system or 체계,system or 시스템,system 중에 뭐가 best?)