collaborators

1 paper

math.LO2021

Valuation semantics for first-order logics of evidence and truth (and some related logics)

H. Antunes, A. Rodrigues, W. Carnielli +1

This paper introduces the logic , a quantified extension of the logic of evidence and truth , together with a corresponding sound and complete first-order non-de…