Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.
Didier GalmicheMarta GawekDaniel MéryPublished in: FSCD (2021)
Keyphrases
- intuitionistic logic
- theorem prover
- linear logic
- natural deduction
- automated theorem proving
- classical logic
- automated deduction
- proof search
- computer algebra
- formal semantics
- inference rules
- sequent calculus
- proof procedure
- logic programming
- proof theoretic
- theorem proving
- cut elimination
- algebraic structure
- logical framework
- formal language
- predicate calculus
- database query languages
- model theoretic
- process algebra
- relational calculus
- default reasoning
- conceptual model
- identity management
- interval valued
- operational semantics
- binary relations
- fuzzy set theory
- answer set programming
- belief revision
- semantic information