Tableau-based decision procedure for non-Fregean logic of sentential identity.
Joanna Golinska-PilarekTaneli HuuskonenMichal ZawidzkiPublished in: CoRR (2021)
Keyphrases
- proof procedure
- tableau calculus
- theorem proving
- propositional logic
- predicate calculus
- proof search
- description logics
- search procedure
- decision making
- logic programming
- automated theorem proving
- first order logic
- decision theory
- asynchronous circuits
- decision model
- decision process
- decision rules
- knowledge base
- multi valued
- social context
- iterative procedure
- set theory
- influence diagrams
- decision problems
- natural deduction
- decision makers