10916 search results - page 273 / 2184 » On Constructive Connectives and Systems |
184
click to vote
TSP
2008
15 years 6 months ago
2008
Recently hexagonal image processing has attracted attention. The hexagonal lattice has several advantages in comparison with the rectangular lattice, the conventionally used lattic...
176
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
169
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The paper is devoted to a concept of a fuzzy ordered set and partially ordered set category fuzzyfication. The aim of this work is to define a fuzzy order relation on a usual se...
223
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Dai, Li, and Wu proposed Rule k, a localized approximation algorithm that attempts to find a small connected dominating set in a graph. In this paper we consider the "average...
165
click to vote
JCT
2011
15 years 1 months ago
2011
Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associah...