The following pages link to Petr Hájek (Q195656):
Displaying 50 items.
- (Q558199) (redirect page) (← links)
- Observations on non-commutative fuzzy logic (Q558200) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- GUHA for personal computers (Q674207) (← links)
- Fuzzy logic and arithmetical hierarchy. II (Q677082) (← links)
- Epistemic entrenchment and arithmetical hierarchy (Q685538) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- A note on the normal form of closed formulas of interpretability logic (Q804561) (← links)
- Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets'' (Q812591) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- On copulas, quasicopulas and fuzzy logic (Q939182) (← links)
- Ontological proofs of existence and non-existence (Q1005959) (← links)
- On vagueness, truth values and fuzzy logics (Q1015491) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- The GUHA method and its meaning for data mining (Q1049274) (← links)
- A simple dynamic logic (Q1087866) (← links)
- (Q1227615) (redirect page) (← links)
- The theory of semisets (Q1227616) (← links)
- Mechanizing hypothesis formation. Mathematical foundations for a general theory (Q1243269) (← links)
- Arithmetical hierarchy and complexity of computation (Q1255490) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- Ten questions and one problem on fuzzy logic (Q1295437) (← links)
- Metamathematics of fuzzy logic (Q1307301) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- On very true (Q1349204) (← links)
- Basic fuzzy logic and BL-algebras. II (Q1403125) (← links)
- Embedding logics into product logic (Q1580660) (← links)
- On Łukasiewicz's four-valued modal logic (Q1604790) (← links)
- A new small emendation of Gödel's ontological proof (Q1612687) (← links)
- Monadic fuzzy predicate logics (Q1612688) (← links)
- Observations on the monoidal t-norm logic (Q1867661) (← links)
- Formal logics of discovery and hypothesis formation by machine (Q1870530) (← links)
- A complete many-valued logic with product-conjunction (Q1913299) (← links)
- Fuzzy logic and arithmetical hierarchy (Q1920268) (← links)
- Knowledge-driven versus data-driven logics (Q1971781) (← links)
- Residuated fuzzy logics with an involutive negation (Q1976881) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Making fuzzy description logic more general (Q2386237) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- Complexity of fuzzy probability logics. II (Q2457028) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- On arithmetical complexity of fragments of prominent fuzzy predicate logics (Q2466754) (← links)
- What is mathematical fuzzy logic (Q2492308) (← links)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (Q2492318) (← links)
- The GUHA method of automatic hypotheses determination (Q2530932) (← links)
- (Q2711325) (← links)
- (Q2851842) (← links)
- (Q2856497) (← links)
