That's It! Hyperintensional Total Logic.

Stephan Krämer

Published in: J. Philos. Log. (2023)

Keyphrases

logic programming
predicate logic
modal logic
automated reasoning
real world
website
multi valued
classical logic
genetic algorithm
artificial intelligence
e learning
evolutionary algorithm
computational properties
proof theory
sound and complete axiomatization