Sciweavers

Share
6 search results - page 1 / 2
» Kripke Models, Distributive Lattices, and Medvedev Degrees
Sort
View
CIE
2005
Springer
12 years 7 months ago
Kripke Models, Distributive Lattices, and Medvedev Degrees
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...
Sebastiaan Terwijn
CORR
2011
Springer
151views Education» more  CORR 2011»
11 years 5 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
JELIA
2004
Springer
12 years 7 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
CANDC
2006
ACM
12 years 1 months ago
Hydrophobic collapse in (in silico) protein folding
A model of hydrophobic collapse, which is treated as the driving force for protein folding, is presented. This model is the superposition of three models commonly used in protein ...
Michal Brylinski, Leszek Konieczny, Irena Roterman
PODC
2004
ACM
12 years 7 months ago
Analyzing Kleinberg's (and other) small-world Models
We analyze the properties of Small-World networks, where links are much more likely to connect “neighbor nodes” than distant nodes. In particular, our analysis provides new re...
Charles U. Martel, Van Nguyen
books