Cross Reference: prop-zf.elf
xref: /hets/Framework/specs/logics/propositional/model_theory/prop-zf.elf
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "prop.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%read "modules-zf.elf".
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%view PLMOD-ZF : PLMOD -> Boolean = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BasePLMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include TruthMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include FalsityMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include NEGMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include IMPMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include CONJMOD-ZF.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include DISJMOD-ZF.
239352d9aec4bc3823511873533fa812cbe259c7Kristina Sojakova}.

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