Informational semantics, non-deterministic matrices and feasible deduction

1Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

We present a unifying semantic and proof-theoretical framework for investigating depth-bounded approximations to Boolean Logic in which the number of nested applications of a single structural rule, representing the classical Principle of Bivalence (classical cut), is bounded above by a fixed natural number. These approximations provide a hierarchy of tractable logical systems that indefinitely converge to classical propositional logic. The operational rules are shared by all approximation systems and are justified by an "informational semantics" whereby the meaning of a logical operator is specified solely in terms of the information that is actually possessed by an agent. © 2014 Elsevier B.V.

Cite

CITATION STYLE

APA

D’Agostino, M. (2014). Informational semantics, non-deterministic matrices and feasible deduction. Electronic Notes in Theoretical Computer Science, 305, 35–52. https://doi.org/10.1016/j.entcs.2014.06.004

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free