1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2020★ 1 cited
Space of Reasons and Mathematical Model
Florian Richter
Inferential relations govern our concept use. In order to understand a concept it has to be located in a space of implications. There are different kinds of conditions for statemen…
cs.LO2020
Inferences and Modal Vocabulary
Florian Richter
Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are…
cs.LO2020
Logic, Language, and Calculus
Florian Richter
The difference between object-language and metalanguage is crucial for logical analysis, but has yet not been examined for the field of computer science. In this paper the differen…