5 search results - page 1 / 1 » Implicit Operations in MV-Algebras and the Connectives of Lu... |
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
LOGCOM
2010
13 years 3 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
AGI
2008
13 years 10 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...