All Questions

Filter by
Sorted by
Tagged with
2
votes
0answers
52 views

Automatic learning/discovery of logics

Are there efforts to automatically discover new logics? Logics are simple structures - they have formal language, deduction rules, semantics and certain properties that are proved or discarded for ...