Natural kind Semantics for a Classical essentialist Theory of Kinds.
Javier BelasteguiPublished in: Rev. Symb. Log. (2024)
Keyphrases
- abstract argumentation
- general theory
- theoretical framework
- model theoretic
- closed world assumption
- logic programming
- data sets
- database
- speech acts
- modal operators
- algebraic structure
- proof theory
- communicative acts
- proof theoretic
- abstract argumentation frameworks
- logical properties
- nonmonotonic logics
- formal semantics
- theoretical basis
- bayesian networks
- neural network
- databases