1588 search results - page 226 / 318 » On the Logic of Constitutive Rules |
124
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
ENTCS
2008
15 years 1 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
ENTCS
2002
15 years 1 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
105
click to vote
LOGCOM
2010
14 years 12 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
161
click to vote
GECCO
2011
Springer
14 years 5 months ago
2011
Springer
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...