×
2024
Counterexample Sufficiency in Modifications to Strict-Tolerant Logics.
[DOI]
Jitka Kadleciková
,
Thomas Macaulay Ferguson
Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024