X-1991-02: On the Undecidability of the Disjunction Property of Intermediate Propositional Logics

X-1991-02: Chagrov, Alexander and Zakharyaschev, Michael (1991) On the Undecidability of the Disjunction Property of Intermediate Propositional Logics. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
X-1991-02.text.pdf

Download (11MB) | Preview
Item Type: Report
Report Nr: X-1991-02
Series Name: Technical Notes (X) Series
Year: 1991
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/595

Actions (login required)

View Item View Item