Toggle navigation
polski
English
English
polski
English
Login
Toggle navigation
View Item
DSpace Home
Czasopisma naukowe | Scientific Journals
Bulletin of the Section of Logic
Bulletin of the Section of Logic 45/3/4 (2016)
View Item
DSpace Home
Czasopisma naukowe | Scientific Journals
Bulletin of the Section of Logic
Bulletin of the Section of Logic 45/3/4 (2016)
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search DSpace
This Collection
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Statistics
View Usage Statistics
Interpolation in Normal Extensions of the Brouwer Logic
View/
Open
0_3_[171]-184_Kostrzycka.pdf (187.3Kb)
Date
2016
Author
Kostrzycka, Zofia
Metadata
Show full item record
Abstract
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
URI
http://hdl.handle.net/11089/22184
Collections
Bulletin of the Section of Logic 45/3/4 (2016)
[8]
