Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
4
Computer circuits
Formal logic
4
Semantics
Algebra
2
Curry howard isomorphism
2
Curry-Howard correspondence
2
Curry-Howard isomorphism
2
Differentiation (calculus)
2
Dynamic epistemic logic
2
Epistemic logic
2
Epistemic logics
2
First order logic
2
First-order logic of proofs
2
Hilbert-style calculus
2
Information management
2
Information science
2
Knowledge based systems
2
Lambda calculus
2
Lukasiewicz modal logic
2
MV-algebras
2
Many valued logics
2
Modal logic
2
Natural deduction
2
Provability semantics
2
Public Announcements Logic
2
Reconfigurable hardware
2
Relational semantics
2
Soundness and completeness
2
Strong normalization
2
-
1Publicado 2017Materias: “...Lambda calculus...”
-
2
-
3Publicado 2016Materias: “...Hilbert-style calculus...”
-
4por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Hilbert-style calculus...”
SER