Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus

@inproceedings{Mihailova2005RudimentaryBM,
  title={Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus},
  author={Knez Mihailova},
  year={2005}
}
This paper continues the investigation of rudimentary Kripke models, i.e. non-quasiordered Kripke-style models for the Heyting propositional calculus H. Three topics, which make three companion pieces of [3], are pursued. The first topic is Beth-style models for H called rudimentary Beth models. Rudimentary Kripke models may be conceived as a particular type of these models, which are analogous to rudimentary Kripke models in not assuming quasi-ordering for the underlying frames. The second… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic

Advances in Modal Logic • 2010
View 7 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Rudimentary Kripke models for the Heyting propositional calculus (to appear in the proceedings of Logic Colloquium '89)

K. Dosen
1989
View 10 Excerpts
Highly Influenced

Mathematical Intuitionism: Introduction to Proof Theory (in Russian), Nauka, Moscow (English translation

A. G. Dragalin
1979
View 5 Excerpts
Highly Influenced

Sequent-systems and groupoid models. I

Studia Logica • 1988
View 2 Excerpts

Weak Logics with Strict Implication

Math. Log. Q. • 1987
View 2 Excerpts

Intuitionistic Correspondence Theory, doctoral dissertation, University of Amsterdam

P. H. Rodenburg
Received on • 1986
View 2 Excerpts

Similar Papers

Loading similar papers…