265 search results - page 2 / 53 » Weakly Algebraizable Logics |
AML
2006
13 years 5 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
STACS
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
AML
2004
13 years 5 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
BIRTHDAY
2010
Springer
13 years 3 months ago
2010
Springer
Pioneers of logic, among them J.R. B
MFCS
2007
Springer
13 years 12 months ago
2007
Springer
Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets P satisfying a certain closure property, a one-to-one corre...