PP-2016-36: Subframization and stabilization for superintuitionistic logics

PP-2016-36: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Subframization and stabilization for superintuitionistic logics. [Pre-print] (Submitted)

[img]
Preview
Text
subframization-stabilization-final.pdf

Download (375kB) | Preview

Abstract

With each superinuitionistic logic (si-logic), we associate its downward and upward subframizations, and characterize them by means of Zakharsyachev's canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic. In an analogous fashion, with each si-logic, we associate its downward and upward stabilizations, and characterize them by means of stable canonical formulas, as well as by embedding si-logics into extensions of the intuitionistic S4.

Item Type: Pre-print
Report Nr: PP-2016-36
Series Name: Prepublication (PP) Series
Year: 2016
Subjects: Logic
Depositing User: Julia Ilin
Date Deposited: 20 Oct 2016 11:58
Last Modified: 20 Oct 2016 11:58
URI: https://eprints.illc.uva.nl/id/eprint/1404

Actions (login required)

View Item View Item