Informational Semantics, Non-Deterministic Matrices and Feasible Deduction
Under a Creative Commons license
open access
Keywords
Classical Propositional Logic
Informational Semantics
Non-deterministic matrices
Computational Complexity
Natural Deduction
Semantic Tableaux
Cited by (0)
- 1
This paper elaborates on ideas and results stemming from my collaboration with Marcelo Finger, Luciano Floridi and Dov Gabbay. I wish to thank Maribel Fernandez and Marcelo Finger for inviting me to present this work at LSFA2013 and all the participants for the stimulating discussion.
Copyright © 2014 Elsevier B.V.