#sequent
Sequent
Logical proof involving antecedents and consequents
In mathematical logic, a sequent is a very general kind of conditional assertion.
Tue 3rd
Provided by Wikipedia
This keyword could refer to multiple things. Here are some suggestions:
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.