Sentence Examples


  • The road to hell: intentions & propositional attitude ascription.
  • The road to hell: intentions & propositional attitude ascription.
  • The satisfiability problem for the propositional calculus; Cook 's theorem.
  • We take the propositional connectives & and ¬ to be primitive; other propositional connectives are defined as usual.
  • MaGIC (Matrix Generator for Implication Connectives) is a program which finds matrices for implication connectives for a wide range of propositional logics.

How would you define propositional? Add your definition here.

comments powered by Disqus