The application of constraint semantics to the language of subjective uncertainty
Eric Swanson
págs. 121-146
Cut elimination for GLS using the terminability of its regress process
Jude Brighton
págs. 147-153
Axiomatization of a branching time logic with indistinguishability relations
Alberto Gatto
págs. 155-182
Natural deduction for the sheffer stroke and peirce’s arrow (and any other truth-functional connective)
Richard Zach
págs. 183-197
Angellic content
Kit Fine
págs. 199-226
The mereological foundation of Megethology
Massimiliano Carrara, Enrico Martino
págs. 227-235
© 2001-2025 Fundación Dialnet · Todos los derechos reservados
Coordinado por: