Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
2
Many valued logics
2
Many-valued logics
2
Modal logic
2
Semantics
Algebra
1
Completeness theorems
1
Complexity
1
Computability and decidability
1
Computer circuits
1
Decidability
1
Finite model property
1
Fuzzy logic
1
Gödel logic
1
Gödel logics
1
Intuitionistic modal logic
1
Kripke frames
1
Kripke model
1
Kripke models
1
Modal algebras
1
Modal logics
1
Np-completeness
1
One-variable fragments
1
Prelinearity
1
Pspace completeness
1
Regularity condition
1
Representation theorem
1
Strong completeness
1
Unit intervals
1
Variable fragment
1
-
1Materias: “...Many-valued logics....”
JOUR -
2Materias: “...Many-valued logics...”
JOUR