Involutive symmetric Gödel spaces, their algebraic duals and logic.
Antonio Di NolaRevaz GrigoliaGaetano VitalePublished in: Arch. Math. Log. (2023)
Keyphrases
- computer algebra
- algebraic structure
- classical logic
- mathematical theory
- predicate logic
- neural network
- multiscale
- higher order
- modal logic
- multi valued
- logical framework
- computational properties
- formal theory
- valued logic
- asynchronous circuits
- digital circuits
- automated reasoning
- logic programming
- similarity measure