1. Sub (_logic) ¶

1.1. classical Logic ¶

classical logic

고전논리 (wk)
classical_logic

https://proofwiki.org/wiki/Definition:Classical_Logic
https://ko.wikipedia.org/wiki/고전_논리
https://en.wikipedia.org/wiki/Classical_logic

1.2. non-classical logic ¶

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

non-classical_logic

https://ko.wikipedia.org/wiki/비고전_논리

non-classical logic
non-classical logic

1.3. mathematical logic ¶

mathematical_logic
mathematical

https://ko.wikipedia.org/wiki/수리_논리학
https://simple.wikipedia.org/wiki/Mathematical_logic
https://en.wikipedia.org/wiki/Mathematical_logic

https://proofwiki.org/wiki/Definition:Mathematical_Logic

syn. symbolic_logic ? - see proofwiki

1.4. symbolic logic ¶

1.5. 0th order ¶

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

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

1.6. 1st order ¶

first-order_logic =,first-order_logic . first-order_logic
first-order logic

first-order_logic
First_order_logic = https://simple.wikipedia.org/wiki/First_order_logic
1차_논리 = https://ko.wikipedia.org/wiki/1차_논리
First-order_logic = https://en.wikipedia.org/wiki/First-order_logic

https://mathworld.wolfram.com/First-OrderLogic.html
https://planetmath.org/firstorderlogic

1.7. 2nd order ¶

second-order logic
second-order_logic

Cmp:
second-order_arithmetic =,second-order_arithmetic . second-order_arithmetic {
second-order arithmetic
https://en.wikipedia.org/wiki/Second-order_arithmetic
}

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

https://ncatlab.org/nlab/show/second-order logic

1.8. higher order ¶

1.9. propositional logic ¶

propositional_logic =,propositional_logic . propositional_logic
propositional_logic
propositional_logic

명제,proposition

AKA propositional_calculus
propositional_calculus
propositional_logic

https://simple.wikipedia.org/wiki/Propositional_logic
https://ko.wikipedia.org/wiki/명제_논리
Propositional_calculus

https://proofwiki.org/wiki/Definition:Propositional_Logic

"propositional logic"

1.9.1. second-order propositional logic ¶

1.10. predicate logic ¶

predicate_logic =,predicate_logic . predicate_logic
predicate logic
predicate_logic

https://simple.wikipedia.org/wiki/Predicate_logic
https://ko.wikipedia.org/wiki/술어_논리

https://proofwiki.org/wiki/Definition:Predicate_Logic

https://ncatlab.org/nlab/show/predicate logic

aka predicate_calculus =,predicate_calculus . predicate_calculus
predicate_calculus
predicate_calculus

1.10.1. monadic predicate logic ¶

monadic_predicate_logic =,monadic_predicate_logic . monadic_predicate_logic
monadic predicate logic
monadic_predicate_logic
monadic predicate logic

1.11. modal logic ¶

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

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

Related terms:
deontic_logic
doxastic_logic
epistemic_logic
}

양상논리
양상논리
양상논리

https://namu.wiki/w/양상논리

modal logic

1.12. many-sorted logic ¶

many-sorted_logic =,many-sorted_logic . many-sorted_logic
many-sorted logic

many-sorted_logic
= https://en.wiktionary.org/wiki/many-sorted_logic

https://en.wikipedia.org/wiki/Many-sorted_logic

Cmp: many-valued_logic

1.13. many-valued logic ¶

many-valued_logic =,many-valued_logic . many-valued_logic
many-valued logic
aka:
multi-valued logic
multivalued logic

rel. https://en.wikipedia.org/wiki/Don't-care_term

Inter:
https://ko.wikipedia.org/wiki/다치_논리

진리값,truth_value이 두 개 이상인 명제논리,propositional_logic { propositional_logic }

https://namu.wiki/w/다치논리

Many-valued_logic = https://en.wikipedia.org/wiki/Many-valued_logic

many-valued logic
"many-valued logic"

1.14. 0-valued logic ¶

1.15. 1-valued logic ¶

1.16. 2-valued logic ¶

둘,two
{
석세서,successor of 석세서,successor of 영,zero.
}

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

many-valued_logic중에서 가능한 값,value이 두 개인 경우.
https://ncatlab.org/nlab/show/two-valued logic
two-valued logic

}

1.17. 3-valued logic ¶

1.18. 4-valued logic ¶

1.19. 9-valued logic ¶

rel.
IEEE 1164

Nine-valued_logic redir to
https://en.wikipedia.org/wiki/IEEE_1164

"The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)"

1.20. finite-valued logic ¶

1.21. infinite-valued logic ¶

1.22. deontic logic ¶

deontic_logic =,deontic_logic . deontic_logic
{
deontic logic
deontic_logic
deontic logic
}

1.23. epistemic logic ¶

epistemic_logic =,epistemic_logic . epistemic_logic
{
epistemic logic
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.

}
epistemic logic
}

1.24. doxastic logic ¶

doxastic_logic =,doxastic_logic . doxastic_logic
{
doxastic logic

doxastic doxastic doxastic

doxastic_logic

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

doxastic logic
}

1.25. intuitionistic logic ¶

intuitionistic_logic =,intuitionistic_logic . intuitionistic_logic
intuitionistic logic
가능한 번역들:
직관주의 논리
직관논리
intuitionistic_logic

intuitionistic_logic = http://en.wiktionary.org/wiki/intuitionistic_logic

---

https://mathworld.wolfram.com/IntuitionisticLogic.html
Intuitionistic_logic ??? jjjjjj
Intuitionistic_logic = https://en.wikipedia.org/wiki/Intuitionistic_logic

... 직관주의 논리 직관주의 논리 .... intuitionistic logic intuitionistic logic

Up:
직관주의,intuitionism =,직관주의 =,intuitionism . { 배중률{ 배중률 배중률 }을 배제 ... rel. 직관,intuition { intuition 직관 intuition } .... https://ko.wikipedia.org/wiki/직관주의 https://en.wikipedia.org/wiki/Intuitionism }
비고전주의논리학 비고전주의논리학

1.26. universal logic ¶

universal_logic =,universal_logic . universal_logic
universal logic

universal_logic
https://en.wikipedia.org/wiki/Universal_logic

1.27. temporal logic ¶

1.27.1. linear temporal logic ¶

linear temporal logic
linear temporal logic
"linear temporal logic"

1.27.2. alternating-time temporal logic ¶

https://en.wikipedia.org/wiki/Alternating-time_temporal_logic

alternating-time temporal logic
"alternating-time temporal logic"

1.28. dynamic logic (modal logic) ¶

dynamic_logic

Dynamic_logic_(modal_logic)
= https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)
= https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)

1.29. computation tree logic (CTL) ¶

computation tree logic
computation_tree_logic (CTL)

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

MKL temporal_logic

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)

CTL*
= https://en.wikipedia.org/wiki/CTL*

1.30. sequential logic VS. combinational logic ¶

1.30.1. sequential logic ¶

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

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

sequential_logic = https://en.wiktionary.org/wiki/sequential_logic

(short) 즉 메모리를 가지고 있다. input history를 기억한다.

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

https://en.wikipedia.org/wiki/Sequential_logic

FSM(finite-state_machine)을 만들 때 사용함.
Moore_machine 무어_기계,Moore_machine Moore_machine Moore_machine Moore_machine Moore machine Moore machine Moore machine "Moore machine"
Mealy_machine 밀리_기계,Mealy_machine Mealy_machine Mealy_machine Mealy_machine Mealy machine Mealy machine Mealy machine "Mealy machine"
만들때도?
암튼 기계,meachines

sequential logic
sequential logic
"sequential logic"
"sequential logic"

1.30.2. combinational logic ¶

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

combinational_logic

메모리 없음. 무기억성,memoryless_property?

https://en.wikipedia.org/wiki/Combinational_logic

combinational logic

cf. combinational_circuit =,combinational_circuit =,combinational_circuit . combinational_circuit
{
combinational circuit
combinational_circuit = https://en.wiktionary.org/wiki/combinational_circuit
combinational circuit
combinational circuit
"combinational circuit"
}

1.30.3. CHK ¶

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

1.31. metalogic ¶

metalogic
metalogic

1.32. fixed-point logic ¶

fixed-point logic
fixed-point logic
fixpoint logic

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

https://en.wikipedia.org/wiki/Fixed-point_logic

rel 고정점,fixed_point

}

1.33. ADDHERE( _LOGIC) ¶

1.34. ADDHERE( _LOGIC) ¶

1.35. ADDHERE( _LOGIC) ¶

1.36. ADDHERE( _LOGIC) ¶

1.37. ADDHERE( _LOGIC) ¶

1.38. ADDHERE( _LOGIC) ¶

2. Sub (logic_ / logical_) ¶

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

logic operation
logic operator
logic connective
or
logical_connective
logical_connective

....

logic_operation
logic_operation
논리연산
연산,operation

logic operator
logic_operator
logic operator

logic connective
logic_connective
logic connective

2.2. logic circuit ¶

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

2.2.1. digital logic circuit ¶

2.3. logic gate ¶

logic_gate =,logic_gate . logic_gate
logic gate
논리게이트
logic_gate
logic gate

2.4. logic programming ¶

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

로직,logic
프로그래밍,programming

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

Topics:
Horn_clause
프롤로그,Prolog

Sub:

inductive_logic_programming =,inductive_logic_programming . inductive_logic_programming
{
inductive_logic_programming ??
https://en.wikipedia.org/wiki/Inductive_logic_programming
https://en.wikipedia.org/wiki/Inductive_logic_programming
induction { VG 귀납,induction }
}

constraint_logic_programming =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming
{
"is a form of constraint_programming^{{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
constraint_logic_programming ??
}

---

logic_programming ?

---

http://www.aistudy.com/logic/logic_programming.htm

...
"logic programming"
logic programming

logic_programming
https://simple.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Logic_programming

Up: 프로그래밍패러다임,programming_paradigm logic (로직,logic 논리,logic? 논리학,logic?)
}

logic_
logic_
logical_
logical_
...

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

---

Cmp:
앨지브라,algebra
칼큘러스,calculus

https://everything2.com/title/logic

logic is reason