Filters
A Logical Framework for Graded Predicates
In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical<...
Pure mathematics
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Mathematical Logic
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic....
BA - Obecná matematika
- 2008 •
- B
Rok uplatnění
B - Odborná kniha
Gödel-Dummett Predicate Logics and Axioms of Prenexability
The paper discusses Gödel-Dummett predicate logics, and uses the notion of characteristic class to discuss their relationships.
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
NCMPL 2011. Non-Classical Modal and Predicate Logics
The conference took place in Guangzhou, December 5-9, 2011. The conference aimed to bring together experts from different areas of non-classical model and predicate logic....
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
What does Mathematical Fuzzy Logic Offer to Description Logic?
Continuous t-norm based fuzzy predicate logic is surveyed as a generalization of classical predicate logic; the kind of fuzzy description logic based on our fuzzy predicate logic is brief...
BA - Obecná matematika
- 2006 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Rationality from Logical Point of View
Basic themes of document: rationality; logic; rational reasoning; predicate logic...
IN - Informatika
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Monadic Fuzzy Predicate Logic.
Two wariants of monadic fuzzy predicate logic are analeyed and compared with the fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfia...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Fuzzy Predicate Calculi with Non-Commutative Conjunction
The basic predicate logic and the predicate monoidal t-norm logic is generalized in two ways giving up commutativity of conjunctions. Completeness theorems with respect to (safe) interpretations over corresponding ...
BA - Obecná matematika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic.
Annotation not available...
BA - Obecná matematika
- 2000 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II
Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfable formulas, ...) are surveyed and some new results are proven....
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 10 207