On the conditional degree of satisfiability of logical formulas

DOI10.1007/BF01146404zbMath0212.02405MaRDI QIDQ2544408

M. I. Liogon'kij

Publication date: 1970

Published in: Mathematical Notes (Search for Journal in Brave)

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items

Asymptotic conditional probabilities: The non-unary case, Infinity and verifiability in Carnap's inductive logic, Query evaluation on a database given by a random graph

Cites Work

• A logical measure function
• Unnamed Item