propositional-calculus

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to determine if two propositional formulas are equivalent in Prolog?
user_145098760
•
2
1
186
propositional-calculus prolog logic boolean-logic
Coq: a vicious circle with two identical subgoals
user_45963270
•
2
2
78
propositional-calculus coq
Quine's algorithm with Single Sided Unification in Prolog
Admin1
•
2
2
95
picat propositional-calculus unification prolog
Generating unsatisfiable test problems
user_458430
•
2
2
142
propositional-calculus sat boolean-logic language-agnostic
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
user_11213560
•
9
3
790
propositional-calculus prolog haskell
Lowering infix operator precedence in R?
user_58650580
•
7
1
207
propositional-calculus logical-operators boolean-logic r
  • 1
Hot Questions