Cross Reference: base.elf
xref: /hets/Framework/specs/logics/first-order/soundness/base.elf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../../propositional/soundness/base.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../proof_theory/base.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../model_theory/base.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%view SoundBaseFOL : BaseFOLPF -> BaseFOLMOD = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundBase.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BaseFOLMODView.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder}.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder

Indexes created Tue Jul 24 14:28:13 CEST 2018