Coalgebraic Geometric Logic: Basic Theory.
Nick BezhanishviliJim de GrootYde VenemaPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- formal theory
- deductive reasoning
- computer algebra
- modal logic
- set theory
- logic programming
- probability theory
- artificial intelligence
- formal logic
- predicate logic
- causal reasoning
- theoretical framework
- computational model
- theoretical foundation
- geometric structure
- theoretical basis
- geometric features
- multiscale
- bayesian networks
- three dimensional
- linear logic
- algebraic structure
- proof theory
- information systems
- computer vision
- data sets