PP-2006-56: Semantics for sub-intuitionistic logics

PP-2006-56: Joosten, Joost J. (2006) Semantics for sub-intuitionistic logics. [Report]

[img]
Preview
Text (Full Text)
PP-2006-56.text.pdf

Download (167kB) | Preview
[img] Text (Abstract)
PP-2006-56.abstract.txt

Download (518B)

Abstract

This paper exposes semantics for various sub-intuitionistic logics. The semantics transparently reflect how assumptions on the epistemic and cognitive abilities of the creative subject influences the underlying logic. One of these semantics is used to obtain a lower bound on the length of proofs of certain intuitionistic tautologies.

Item Type: Report
Report Nr: PP-2006-56
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: Intuitionistic logic; sub-intuitionistic logics; lower bounds; proof complexity; Kripke semantics
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/231

Actions (login required)

View Item View Item