10916 search results - page 2 / 2184 » On Constructive Connectives and Systems |
117
click to vote
LOPSTR
1995
Springer
15 years 4 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...
98
Voted
AUTOMATICA
2006
15 years 26 days 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...
77
Voted
CONNECTION
2008
15 years 27 days ago
2008
82
Voted
KES
2006
Springer
15 years 23 days 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...
137
Voted
CADE
2001
Springer
16 years 1 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...