2006
DOI: 10.1093/jigpal/jzl028
|View full text |Cite
|
Sign up to set email alerts
|

Diagram Construction in Intuitionistic Logic

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2011
2011
2011
2011

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(3 citation statements)
references
References 3 publications
0
3
0
Order By: Relevance
“…Using normal forms one sees that if f preserves basic semi-atomic formulas it is an embedding. In fact one may freely use classical properties of diagrams in a modified form (see [3,4]). Here, our aim is to prove an omitting types theorem for semi-classical theories.…”
Section: Preliminariesmentioning
confidence: 99%
See 2 more Smart Citations
“…Using normal forms one sees that if f preserves basic semi-atomic formulas it is an embedding. In fact one may freely use classical properties of diagrams in a modified form (see [3,4]). Here, our aim is to prove an omitting types theorem for semi-classical theories.…”
Section: Preliminariesmentioning
confidence: 99%
“…∈ k) is a semi-classical model (see [4] for further details). We prove by induction on the complexity of φ that for each atomic θ:…”
Section: Theorem 34 (Omitting Types Theorem) Let (T δ) Be a Consismentioning
confidence: 99%
See 1 more Smart Citation