From formulas to cirquents in computability logic
Giorgi JaparidzePublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- linear time temporal logic
- predicate calculus
- modal operators
- classical logic
- logic programming
- modal logic
- horn clauses
- logical formulas
- probability theory
- logical framework
- action theories
- delay insensitive
- mathematical formulas
- proof theory
- asynchronous circuits
- formal theory
- predicate logic
- databases
- real numbers
- inference rules
- genetic algorithm
- neural network