Kosta Dosen
Biographic Data
| ID | 5997341 |
|---|---|
| NAME | Kosta Dosen |
| GIVEN NAMES | Kosta |
| FAMILY NAME | Dosen |
| SIGNATURE | DOSEN K |
| AFFILIATIONS | Serbian Academy of Sciences and Arts |
| VERIFIED | No |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 2 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 1989 |
| LATEST PUBLICATION YEAR | 2006 |
| H-INDEX | 0 |
Models of Deduction
Logical constants as punctuation marks.
This paper presents a proof-theoretical approach to the question "What is a logical constant?"This approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e. deductions independent of any constant of the language to which the premises and conclusions belong.Logical constants, on which the remaining formal deductions are dependent, may be said to serve as "pu…
No prominent works on this page.
Logical constants as punctuation marks.
This paper presents a proof-theoretical approach to the question "What is a logical constant?"This approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e. deductions independent of any constant of the language to which the premises and conclusions belong.Logical constants, on which the remaining formal deductions are dependent, may be said to serve as "pu…
Models of Deduction
Calculus (dental) (2 works) · Computer Science (2 works) · Mathematics (2 works) · Philosophy (2 works) · Advanced Algebra and Logic (1 work) · Axiom (1 work) · Classical Philosophy and Thought (1 work) · Constant (computer programming) (1 work) · Context (archaeology) (1 work) · Epistemology (1 work)