로직,logic

1. Sub (_logic)


1.2. non-classical logic

non-classical_logic =,non-classical_logic . non-classical_logic
non-classical logic
비고전논리 (wk)




1.5. 0th order

zeroth-order_logic =,zeroth-order_logic . zeroth-order_logic

WtEn:zeroth-order_logic x (2023-08-19), but WtEn:zero-order_logic exists

1.8. higher order

higher-order_logic =,higher-order_logic =,HOL . HOL

higher-order logic (HOL)

//ALSOIN second order {
Second-order and Higher-order Logic
https://plato.stanford.edu/entries/logic-higher-order/
}


1.9.1. second-order propositional logic

second-order_propositional_logic =,second-order_propositional_logic . second-order_propositional_logic
https://en.wikipedia.org/wiki/Second-order_propositional_logic

1.10.1. monadic predicate logic

monadic_predicate_logic =,monadic_predicate_logic . monadic_predicate_logic
monadic predicate logic
WtEn:monadic_predicate_logic
Ggl:monadic predicate logic

1.11. modal logic

modal_logic =,modal_logic . modal_logic
curr also at 가능성,possibility

modes? :
  • 필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다,
  • 가능성 ... ~일 수도,

WtEn:modal_logic
{
"Any formal_system that attempts to deal with modalities, such as 가능성,possibility and necessity, but also obligation and permission{ 허가? 퍼미션,permission페이지는 존재 }." (wt)




1.14. 0-valued logic

1.15. 1-valued logic

1.16. 2-valued logic



two-valued_logic
two-valued_logic =,two-valued_logic . two-valued_logic
{
two-valued logic


}

1.19. 9-valued logic


rel.
IEEE 1164

WpEn:Nine-valued_logic redir to
https://en.wikipedia.org/wiki/IEEE_1164
"The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)"

1.22. deontic logic

deontic_logic =,deontic_logic . deontic_logic
{
deontic logic
WtEn:deontic_logic
Ggl:deontic logic
}

1.23. epistemic logic

epistemic_logic =,epistemic_logic . epistemic_logic
{
epistemic logic
WtEn:epistemic_logic
{ 최소 두 logic의 명칭
epistemic modal logic, a subfield of modal_logic that is concerned with reasoning about knowledge.
dynamic epistemic logic, a logical framework dealing with knowledge and information change.
}
Ggl:epistemic logic
}

1.24. doxastic logic

doxastic_logic =,doxastic_logic . doxastic_logic
{
doxastic logic


WtEn:doxastic_logic
진술,statement믿음,belief이 포함된 경우를 다루는 modal_logic의 한 갈래?

Ggl:doxastic logic
}

1.26. universal logic

universal_logic =,universal_logic . universal_logic
universal logic


1.27. temporal logic

1.27.1. linear temporal logic

1.27.2. alternating-time temporal logic

1.29. computation tree logic (CTL)

computation tree logic
computation_tree_logic (CTL)

computational tree logic 이란 표현도 많이 보인다 ex. WpEn:CTL*


1.29.1. CTL*

"CTL* is a superset of computational tree logic(computation_tree_logic?) (CTL) and linear_temporal_logic (LTL). It freely combines path_quantifiers and temporal_operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke_structure." (we)


1.30. sequential logic VS. combinational logic

1.30.1. sequential logic

sequential logic
sequential_logic =,sequential_logic =,sequential_logic . sequential_logic Srch:sequential_logic
순차논리 로 보통 번역하는 듯

이건 뜻이... sequential logic circuit을 줄인거랑, 페이지를 나누어야 하나?

WtEn:sequential_logic = https://en.wiktionary.org/wiki/sequential_logic
(short) 즉 메모리를 가지고 있다. input history를 기억한다.

https://ko.wikipedia.org/wiki/순차_논리



Ndict:sequential logic
Ggl:sequential logic
"sequential logic"
"sequential logic"

1.30.2. combinational logic

combinational logic
조합논리,combinational_logic
combinational_logic =,combinational_logic =,combinational_logic . combinational_logic Srch:combinational_logic
조합논리 로 보통 번역하는 듯

combinational logic




1.30.3. CHK

기반 이론이 되는 논리 실제 장치 : logic_circuit logic_circuit WtEn:logic_circuit 논리회로,logic_circuit ? Ndict:논리 회로 Ggl:논리 회로 논리회로 logic_circuit
sequential_logic sequential_logic_circuit = sequential_circuit
combinational_logic combinational_logic_circuit = combinational_circuit

1.32. fixed-point logic


fixed-point_logic =,fixed-point_logic =,fixed-point_logic . fixed-point_logic
{
고정점논리 ?



}

1.33. ADDHERE( _LOGIC)


1.34. ADDHERE( _LOGIC)


1.35. ADDHERE( _LOGIC)

1.36. ADDHERE( _LOGIC)


1.37. ADDHERE( _LOGIC)


1.38. ADDHERE( _LOGIC)


.... ADDHERE( _LOGIC)

2. Sub (logic_ / logical_)

두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데.
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? - 나중에 많아지면

2.1. Cmp: logic operation / logic operator / logic connective

logic operation
logic operator
logic connective
or
logical_connective
WtEn:logical_connective

....

logic_operation
WtEn:logic_operation
논리연산
연산,operation


logic connective
logic_connective
Ggl:logic connective

2.2. logic circuit

logic_circuit =,logic_circuit . logic_circuit
logic circuit
WtEn:logic_circuit
논리회로 ?

2.2.1. digital logic circuit

digital_logic_circuit
digital logic circuit
디지털논리회로

2.4. logic programming

logic_programming =,logic_programming =,logic_programming . logic_programming
{
logic programming


번역?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?


Sub:


constraint_logic_programming =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming
{
"is a form of constraint_programming{WpEn:Constraint_programming = https://en.wikipedia.org/wiki/Constraint_programming}, in which logic_programming is extended to include concepts from constraint_satisfaction{ https://en.wikipedia.org/wiki/Constraint_satisfaction }."(we)
https://en.wikipedia.org/wiki/Constraint_logic_programming
constraint
WtEn:constraint_logic_programming ??
}






...
"logic programming"
Ndict:logic programming




logic_
logic_
logical_
logical_
...

...... ADDHERE (LOGIC(AL)_ ) // 일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)