Sciweavers

SLOGICA
2008
99views more  SLOGICA 2008»
13 years 10 months ago
Decidable Cases of First-order Temporal Logic with Functions
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
Walter Hussak
SLOGICA
2008
65views more  SLOGICA 2008»
13 years 11 months ago
A Model of Tolerance
Elia Zardini
SLOGICA
2008
135views more  SLOGICA 2008»
13 years 11 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
SLOGICA
2008
97views more  SLOGICA 2008»
13 years 11 months ago
A Generic Framework for Adaptive Vague Logics
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
Peter Verdée, Stephan van der Waart van Gul...
SLOGICA
2008
73views more  SLOGICA 2008»
13 years 11 months ago
Axiomatizing Relativistic Dynamics without Conservation Postulates
Hajnal Andréka, Judit X. Madarász, I...
SLOGICA
2008
73views more  SLOGICA 2008»
13 years 11 months ago
Some Aspects of Polyadic Inductive Logic
We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with ap...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
SLOGICA
2008
116views more  SLOGICA 2008»
13 years 11 months ago
Rough Sets and 3-Valued Logics
In the paper we explore the idea of describing Pawlak's rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f -- to...
Arnon Avron, Beata Konikowska
SLOGICA
2008
77views more  SLOGICA 2008»
13 years 11 months ago
Frame Based Formulas for Intermediate Logics
In this paper we define a new notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, s...
Nick Bezhanishvili
SLOGICA
2008
110views more  SLOGICA 2008»
13 years 11 months ago
Sharvy's Lucy and Benjamin Puzzle
Sharvy's puzzle concerns a situation in which common knowledge of two parties is obtained by repeated observation each of the other, no fixed point being reached in finite ti...
Thomas Forster
SLOGICA
2008
85views more  SLOGICA 2008»
13 years 11 months ago
A Note on Prototypes, Convexity and Fuzzy Sets
The work on prototypes in ontologies pioneered by Rosch [10] and elaborated by Lakoff [8] and Freund [3] is related to vagueness in the sense that the more remote an instance is fr...
Norman Foo, Boon Toh Low