Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

@article{Gabbay1973ApplicationsOS,
  title={Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment},
  author={Dov M. Gabbay},
  journal={Journal of Philosophical Logic},
  year={1973},
  volume={2},
  pages={340-351}
}
  • D. Gabbay
  • Published 1 July 1973
  • Philosophy
  • Journal of Philosophical Logic
We present general methods that can be used in the study of languages and systems with intensional binary and unary connectives. These methods involve both the Howard-Montague-Scott intensional semantics (see [l]) and Scott’s notion of the consequence relation (see [2]). We apply these methods to study several basic entailment type logics and indicate how the methods can be further applied to modal and intuitionistic systems. These methods are abstracted from recent results of MeyerRoutley [3… 
4 Citations
Research Themes of Dov Gabbay
In the course of three decades of research in logic, Dov Gabbay has put forward several research themes and methodologies which have had strong influence over the pure and applied logic community. In
What is a Classical Connective?
  • D. Gabbay
  • Mathematics, Computer Science
    Math. Log. Q.
  • 1978
New axiomatics for relevant logics, I

References

SHOWING 1-10 OF 12 REFERENCES
STUDIES IN LOGIC.
The type theoretic interpretation of constructive set theory choice principles D.S. BRIDGES Recent progress in constructive approximation theory
The semantics of entailment—II
Dov: is this the same as number 230? Nicola suggests that this item should be deleted
  • Dov: is this the same as number 230? Nicola suggests that this item should be deleted
Labelled Deduction: Proceedings of LD 98
  • Labelled Deduction: Proceedings of LD 98
Logical encoding of the clause graph proof procedures (with Joerg Siekmann) File: DovPapers/217-ConnectionGraphs/FLCG
  • Logical encoding of the clause graph proof procedures (with Joerg Siekmann) File: DovPapers/217-ConnectionGraphs/FLCG
Ruth Kempson (Editor) Hermes Science Pubns; ISBN: 1903398053 Journals 1 Editor in chief. 2
  • Journal of Logic and Computation
Semantics for Entailment, IU’, Journul of PhiZosophical Logic 1 (1972), 192-208
  • 1972
Journal of Applied Logic Elsevier/North Holland Editor-in-Chief with J Siekmann and A Jones
  • Journal of Applied Logic Elsevier/North Holland Editor-in-Chief with J Siekmann and A Jones
...
...