A Closer Look at Some Subintuitionistic Logics

@article{Celani2001ACL,
  title={A Closer Look at Some Subintuitionistic Logics},
  author={S. Celani and R. Jansana},
  journal={Notre Dame J. Formal Log.},
  year={2001},
  volume={42},
  pages={225-255}
}
In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of… Expand
Weak subintuitionistic logics
Predicate Logical Extensions of some Subintuitionistic Logics
Classical and Empirical Negation in Subintuitionistic Logic
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Modal translation of substructural logics
On weakening the Deduction Theorem and strengthening Modus Ponens
The equational definability of truth predicates
  • J. Raftery
  • Mathematics, Computer Science
  • Reports Math. Log.
  • 2006
Complexity of Strict Implication
  • F. Bou
  • Computer Science, Mathematics
  • Advances in Modal Logic
  • 2004
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 37 REFERENCES
Speaking about Transitive Frames in Propositional Languages
Constructive logic and the paradoxes
Protoalgebraic logics
Subintuitionistic Logics
Displaying as Temporalizing
Basic Propositional Calculus I
Modal Translations in K and D
What is Strict Implication?
  • I. Hacking
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1963
A propositional logic with explicit fixed points
Basic Propositional Calculus II. Interpolation
...
1
2
3
4
...