A Correctness Proof for al-BarakāT's Logical Diagrams.
Wilfrid HodgesPublished in: Rev. Symb. Log. (2023)
Keyphrases
- logical rules
- theorem prover
- provably correct
- case study
- neural network
- image sequences
- logical representation
- logical properties
- graphical representations
- hand drawn
- mathematical proofs
- data sets
- proof planning
- logical operations
- logical reasoning
- linear logic
- decision procedures
- theorem proving
- first order logic
- artificial neural networks
- computer vision
- genetic algorithm
- real world