10916 search results - page 2 / 2184 » On Constructive Connectives and Systems |
LOPSTR
1995
Springer
13 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
AUTOMATICA
2006
13 years 5 months ago
2006
We consider a class of systems with a cyclic interconnection structure that arises, among other examples, in dynamic models for certain biochemical reactions. We first show that a...
CONNECTION
2008
13 years 5 months ago
2008
KES
2006
Springer
13 years 5 months ago
2006
Springer
Abstract. We propose the sensor network system using the microcomputer board that can connect to the Internet. This proposed system can acquire information from the sensor of the m...
CADE
2001
Springer
14 years 5 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...