Cross Reference: ifol.elf
xref: /hets/Framework/specs/logics/first-order/soundness/ifol.elf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../../propositional/soundness/iprop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../proof_theory/ifol.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "../model_theory/fol.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "modules.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%view SoundIFOL : IFOLPF -> FOLMOD = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundBaseFOL.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include FOLMODView.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundIPL.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundForall.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include SoundExists.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova}.

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