Some variants of Vaught's conjecture from the perspective of algebraic logic.
Gábor SágiDorottya SzirákiPublished in: Log. J. IGPL (2012)
Keyphrases
- computer algebra
- algebraic structure
- modal logic
- multi valued
- mathematical theory
- proof theory
- logic programming
- automated reasoning
- formal theory
- sound and complete axiomatization
- database
- natural deduction
- asynchronous circuits
- predicate logic
- computational properties
- viewpoint
- expert systems
- case study
- social networks
- information retrieval
- data sets