AbstractLet T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theoryHT of sentences intuitionistically valid (forced) in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic (PA), the theoryHPA is a proper subtheory of Heyting arithmetic (HA), so HA is complete but not sound for PA-normal Kripke structures
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popul...
We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula is p...
This paper is concerned with the `logical structure' of arithmetical theories. We survey result...
Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classica...
Let us define the intuitionistic part of a classical theory T as the intuitionistic theory whose pro...
In the past sixty years or so, a real forest of intuitionistic models for classical theories has gro...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
A Kripke model K is a submodel of another Kripke model M if K is obtained by restricting the set of ...
The aim of this paper is to describe from a semantic perspective the problem of conservativity of cl...
This paper compares the roles classical and intuitionistic logic play in restricting the free use of...
AbstractIn this paper we introduce effectiveness into model theory of intuitionistic logic. The main...
AbstractWe introduce effectiveness considerations into model theory of intuitionistic logic. We inve...
Abstract This is a sequel to two previous papers, where it was shown that, for the Heyting propositi...
We give a Kripke style semantics for an intuitionistic logic for pragmatics ILP, with consists of th...
We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary ex...
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popul...
We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula is p...
This paper is concerned with the `logical structure' of arithmetical theories. We survey result...
Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classica...
Let us define the intuitionistic part of a classical theory T as the intuitionistic theory whose pro...
In the past sixty years or so, a real forest of intuitionistic models for classical theories has gro...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
A Kripke model K is a submodel of another Kripke model M if K is obtained by restricting the set of ...
The aim of this paper is to describe from a semantic perspective the problem of conservativity of cl...
This paper compares the roles classical and intuitionistic logic play in restricting the free use of...
AbstractIn this paper we introduce effectiveness into model theory of intuitionistic logic. The main...
AbstractWe introduce effectiveness considerations into model theory of intuitionistic logic. We inve...
Abstract This is a sequel to two previous papers, where it was shown that, for the Heyting propositi...
We give a Kripke style semantics for an intuitionistic logic for pragmatics ILP, with consists of th...
We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary ex...
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popul...
We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula is p...
This paper is concerned with the `logical structure' of arithmetical theories. We survey result...
DOI
Add to ORKG