Epistemic semantics for classical and intuitionistic logic (Q2266707)

The goal of the paper, as formulated by the author, is ''to explain how several nonstandard semantic systems for the propositional logic can be seen as employing essentially the same principles for defining the notion of logical entailment and the more basic idea of assignment of truth- values to molecular sentences''. The semantic systems under consideration are Kleene's three-valued matrix for the strong connectives, Łukasiewicz's three-valued matrix, supervaluations, and Beth's semantics for intuitionistic logic.