On the Contributions of Helena Rasiowa to Mathematical Logic.
Josep Maria FontPublished in: ISMVL (1996)
Keyphrases
- computer algebra
- logic programming
- mathematical theory
- sound and complete axiomatization
- multi valued
- predicate logic
- formal logic
- asynchronous circuits
- logical framework
- deductive reasoning
- formal theory
- defeasible logic
- real time
- probability theory
- modal logic
- evolutionary algorithm
- multiscale
- case study
- social networks