Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A question on Beth's semantic tableaux

  1. May 27, 2015 #1
    I have two questions to ask: (a) Is there some rule for estimating the number of branches in a Beth tableaux in advance? and (2) is the number of the open branches in a semantic tableau equal to the number of the interpretations that assign to the propositional type a true value? If the answer to (b) is positive, where i can find the proof for it? Thanks in advance
  2. jcsd
  3. Jun 1, 2015 #2
    Thanks for the post! This is an automated courtesy bump. Sorry you aren't generating responses at the moment. Do you have any further information, come to any new conclusions or is it possible to reword the post?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook