"A reduction theorem for the Kripke-Joyal semantics: Forcing over an ar" by Imants Barušs and Robert Woodrow

Skip to main content

Psychology

Title

A reduction theorem for the Kripke-Joyal semantics: Forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra

Authors

Imants Barušs, King's University CollegeFollow
Robert Woodrow

Document Type

Article

Publication Date

2013

Journal

Logica Universalis

Volume

7

Issue

3

First Page

323

Last Page

334

URL with Digital Object Identifier

http://dx.doi.org/10.1007/s11787-013-0084-y

Notes

The final publication is available at Springer via http://dx.doi.org/10.1007/s11787-013-0084-y

Included in

Logic and Foundations Commons

COinS