Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation.

Norihiro Kamide

Published in: FLAP (2023)

Keyphrases

classical logic
intuitionistic logic
logic programming
valued logic
first order logic
modal logic
horn clauses
logic programs
linear logic
default logic
deductive databases
nonmonotonic reasoning
stable models
natural deduction
programming language
probabilistic logic
machine learning