StackOverflow Questions for Tag: first-order-logic

Theo Deep

Reputation: 786

(Semi-decidable) combination of first-order theories is possible in Z3, but what about an actual semantic/signature-wise combination?

z3smtz3pytheorem-provingfirst-order-logic

Score: 0

Answers: 1

HawkboyZ

Reputation: 17

Is it possible to express rising/falling edge operators as SAT/SMT formula?

z3boolean-logicsmtsatfirst-order-logic

Score: 0

Answers: 1

gust

Reputation: 945

Parametrize return type based on concrete type of typeclass

haskellfunctional-programmingpolymorphismtypeclassfirst-order-logic

Score: 0

Answers: 0

Solanki Vaibhav

Reputation: 494

Creating implications in Prolog, where A implies B and B implies A, through generic rules

prologartificial-intelligencediscrete-mathematicsfirst-order-logic

Score: -2

Answers: 3

sitron

Reputation: 3

First-order predicate logic in Prolog: Working with Signatures and Arithmetic Terms

prologsignaturepredicatefirst-order-logic

Score: 0

Answers: 1

PrologGraph

Reputation: 41

How to add temporal variables to first-order logic formulas?

nlpprologfirst-order-logic

Score: 2

Answers: 0

user3352632

Reputation: 667

How to distinguish the terms 'primitives' 'axioms' 'expressions' 'basic axioms' 'primitive terms' in description logic / OWL?

logicowlrdfsfirst-order-logicdescription-logic

Score: 0

Answers: 1

Daniel K.

Reputation: 13

Why is Q → P a logical consequence of ¬(P → Q )

logicfirst-order-logicdemorgans-lawfitch-proofs

Score: 1

Answers: 1

anthonybell

Reputation: 5998

encoding "John wants to bite Sara" in first order logic

logicfirst-order-logic

Score: 2

Answers: 1

user1747134

Reputation: 2482

Mixed quantification in Answer Set Programming

logic-programmingquantifiersfirst-order-logicanswer-set-programmingclingo

Score: 2

Answers: 1

Theo Deep

Reputation: 786

Z3: is Nonlinear integer arithmetic undecidable or semi-decidable

z3z3pytheorem-provingfirst-order-logicdecidable

Score: 2

Answers: 1

user2222943

Reputation: 15

QnA task for Z3. Is it possible?

z3first-order-logic

Score: 0

Answers: 1

user2222943

Reputation: 15

How can I convert logical clause to LEAN?

first-order-logiclean

Score: 0

Answers: 1

Theo Deep

Reputation: 786

Z3: Invalid bounded variables

pythonz3solverz3pyfirst-order-logic

Score: 1

Answers: 1

Theo Deep

Reputation: 786

Testing z3' similar sentences against different theories: how to represent naturals and complex

z3solverz3pytheorem-provingfirst-order-logic

Score: 0

Answers: 1

Laura V.

Reputation: 37

How to solve first order ODE equations of motion with given init

pythoneclipse-keplernewtons-methodrunge-kuttafirst-order-logic

Score: 1

Answers: 0

Theo Deep

Reputation: 786

Z3: Complex numbers?

z3solverz3pytheorem-provingfirst-order-logic

Score: 2

Answers: 1

Theo Deep

Reputation: 786

Python-Z3: How can I access the elements of an And

pythonlistz3z3pyfirst-order-logic

Score: 0

Answers: 1

Theo Deep

Reputation: 786

Z3 cannot check equivalence of two formulae

pythonz3z3pyquantifiersfirst-order-logic

Score: 2

Answers: 1

Theo Deep

Reputation: 786

Calling Z3 as black box from Ocaml

ocamlz3formal-verificationfirst-order-logicsatisfiability

Score: 2

Answers: 1

PreviousPage 2Next

StackOverflow Questions for Tag: first-order-logic

(Semi-decidable) combination of first-order theories is possible in Z3, but what about an actual semantic/signature-wise combination?

Is it possible to express rising/falling edge operators as SAT/SMT formula?

Parametrize return type based on concrete type of typeclass

Creating implications in Prolog, where A implies B and B implies A, through generic rules

First-order predicate logic in Prolog: Working with Signatures and Arithmetic Terms

How to add temporal variables to first-order logic formulas?

How to distinguish the terms &#39;primitives&#39; &#39;axioms&#39; &#39;expressions&#39; &#39;basic axioms&#39; &#39;primitive terms&#39; in description logic / OWL?

Why is Q → P a logical consequence of &#172;(P → Q )

encoding &quot;John wants to bite Sara&quot; in first order logic

Mixed quantification in Answer Set Programming

Z3: is Nonlinear integer arithmetic undecidable or semi-decidable

QnA task for Z3. Is it possible?

How can I convert logical clause to LEAN?

Z3: Invalid bounded variables

Testing z3&#39; similar sentences against different theories: how to represent naturals and complex

How to solve first order ODE equations of motion with given init

Z3: Complex numbers?

Python-Z3: How can I access the elements of an And

Z3 cannot check equivalence of two formulae

Calling Z3 as black box from Ocaml

How to distinguish the terms 'primitives' 'axioms' 'expressions' 'basic axioms' 'primitive terms' in description logic / OWL?

Why is Q → P a logical consequence of ¬(P → Q )

encoding "John wants to bite Sara" in first order logic

Testing z3' similar sentences against different theories: how to represent naturals and complex