The semantic isomorphism theorem in abstract algebraic logic.
Tommaso MoraschiniPublished in: Ann. Pure Appl. Log. (2016)
Keyphrases
- intuitionistic logic
- high level
- higher level
- logical representation
- domain specific
- mathematical theory
- computer algebra
- natural language
- semantic web
- algebraic structure
- von neumann
- classical logic
- graph theory
- semantic network
- knowledge base
- multi valued
- domain ontology
- low level
- propositional dynamic logic
- proof theoretic
- probability theory
- semantically equivalent
- proof theory
- predicate logic
- semantic analysis
- higher order
- web services