Concepedia
Publication | Closed Access
Hedging, ambiguity, and the reversal of order axiom
17
Citations
23
References
2019
Year
Automated ReasoningOrder TheoryOrder AxiomHigher-order Logic
Page 1