Petr Hájek | Academic Influence

Petr Hájek's AcademicInfluence.com Rankings

Petr Hájek

Philosophy

#785

World Rank

#1517

Historical Rank

Mathematical Logic

#9

World Rank

#18

Historical Rank

Logic

#231

World Rank

#488

Historical Rank

philosophy Degrees

Petr Hájek

Mathematics

#2338

World Rank

#3633

Historical Rank

Set Theory

#13

World Rank

#20

Historical Rank

mathematics Degrees

Download Badge

Philosophy
Mathematics

Petr Hájek's Degrees

PhD Mathematics Charles University

Why Is Petr Hájek Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Petr Hájek was a Czech scientist in the area of mathematical logic and a professor of mathematics. Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and as a lecturer at the faculty of mathematics and physics at the Charles University in Prague and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague.

(See a Problem?)

Petr Hájek's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Metamathematics of Fuzzy Logic (1998) (3921)
Metamathematics of First-Order Arithmetic (1993) (878)
Functional Analysis and Infinite-Dimensional Geometry (2001) (677)
Banach Space Theory (2011) (429)
Banach Space Theory: The Basis for Linear and Nonlinear Analysis (2010) (425)
Uniform Convexity of (414)
Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets" (2005) (347)
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (1978) (263)
Making fuzzy description logic more general (2005) (211)
Residuated fuzzy logics with an involutive negation (2000) (209)
Uncertain information processing in expert systems (1992) (202)
A complete many-valued logic with product-conjunction (1996) (198)
On very true (2001) (180)
On Belief Functions (1992) (170)
Basic fuzzy logic and BL-algebras II (1998) (162)
Basic fuzzy logic and BL-algebras (1998) (154)
Knowledge-Driven versus Data-Driven Logics (2000) (144)
Handbook of mathematical fuzzy logic (2011) (133)
Hoops and Fuzzy Logic (2003) (131)
Observations on non-commutative fuzzy logic (2003) (127)
Fuzzy logic and probability (1995) (123)
On theories and models in fuzzy predicate logics (2006) (122)
The GUHA method of automatic hypotheses determination (1966) (121)
Biorthogonal Systems in Banach Spaces (2007) (107)
Mechanizing Hypothesis Formation (1978) (100)
Fuzzy logic and arithmetical hierarchy (1995) (99)
Fuzzy Logics with Noncommutative Conjuctions (2003) (81)
The liar paradox and fuzzy logic (2000) (81)
Logic, methodology and philosophy of Science (2005) (80)
Combining Functions for Certainty Degrees in Consulting Systems (1985) (78)
What is mathematical fuzzy logic (2006) (78)
Observations on the monoidal t-norm logic (2002) (75)
The theory of semisets (1972) (73)
Triangular norm based predicate fuzzy logics (2010) (73)
Entailment relations and distributive lattices (2000) (71)
The sorites paradox and fuzzy logic (2003) (68)
The GUHA method and its meaning for data mining (2010) (68)
Analytic and polyhedral approximation of convex bodies in separable polyhedral Banach spaces (1998) (68)
Smooth analysis in Banach spaces (2014) (64)
Complexity of t-tautologies (2001) (62)
A quantitative version of Krein's Theorem (2005) (61)
A Fuzzy Modal Logic for Belief Functions (2001) (59)
On copulas, quasicopulas and fuzzy logic (2008) (55)
On witnessed models in fuzzy logic (2007) (52)
Mathematical Foundations of Computer Science 1995 (1995) (52)
A qualitative fuzzy possibilistic logic (1995) (51)
Uniformly convex functions on Banach spaces (2008) (50)
GUHA for personal computers (1995) (49)
On fuzzy modal logics S5(L) (2010) (49)
On Modal Logics for Qualitative Possibility in a Fuzzy Setting (1994) (48)
On Generation of Inductive Hypotheses (1977) (48)
On interpretability in set theories. II. (1972) (45)
Ten Questions and One Problem on Fuzzy Logic (1999) (45)
Fuzzy Logic From The Logical Point of View (1995) (43)
Triangular norm-based mathematical fuzzy logics (2005) (42)
On Łukasiewicz's Four-Valued Modal Logic (2002) (42)
CADIAG-2 and MYCIN-like systems (1997) (41)
The GUHA method—its aims and techniques (twenty-four questions and answers) (1978) (40)
Formal logics of discovery and hypothesis formation by machine (1998) (39)
Fuzzy Logic and Arithmetical Hierarchy III (2001) (39)
Arithmetical complexity of fuzzy predicate logics – a survey (2005) (39)
Smooth norms that depend locally on finitely many coordinates (1995) (38)
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids) (1991) (38)
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic (2000) (38)
Formal systems of fuzzy logic and their fragments (2007) (38)
Reasoning about probability using fuzzy logic (2000) (37)
Hilbert-generated spaces (2003) (37)
The logic of π1-conservativity (1990) (37)
A development of set theory in fuzzy logic (2003) (35)
What does mathematical fuzzy logic offer to description logic? (2006) (35)
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations (1994) (34)
Convexity and w*-compactness in Banach spaces (2004) (33)
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (2006) (32)
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy (1996) (31)
Embedding Logics into Product Logic (1998) (31)
Smooth functions onc0 (1998) (31)
On interpretability in theories containing arithmetic (1972) (30)
A New Small Emendation of Gödel's Ontological Proof (2002) (30)
Various Slicing Indices on Banach Spaces (2007) (29)
Complexity of Fuzzy Probability Logics (2001) (29)
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory (2005) (28)
On Schauder bases in Lipschitz-free spaces ☆ (2014) (28)
Complexity of fuzzy probability logics II (2007) (28)
Analytic and $C^k$ approximations of norms in separable Banach spaces (1996) (28)
RECENT ADVANCES in INFORMATION SCIENCE (2012) (27)
Dual renormings of Banach spaces (1996) (27)
On Logics of Approximate Reasoning (1992) (27)
On Smooth Variational Principles in Banach Spaces (1996) (26)
Arithmetical Hierarchy and Complexity of Computation (1979) (25)
On Vagueness, Truth Values and Fuzzy Logics (2009) (24)
Mathematical Fuzzy Logic and Natural Numbers (2007) (24)
Fuzzy Implications and generalized Quantifiers (1996) (24)
Fleas and Fuzzy Logic (2005) (23)
The problem of a general conception of the GUHA method (1968) (23)
The GUHA Method, Data Preprocessing and Mining (2004) (23)
Analytic Approximations of Uniformly Continuous Functions in Real Banach Spaces (2001) (23)
Experimental logics and Π30 theories (1977) (22)
Kurt Gödel and the Consistency of R (1996) (22)
An analysis of MYCIN-like expert systems (1994) (21)
A Hedge for Gödel Fuzzy Logic (2000) (21)
Zero sets of polynomials in several variables (2006) (21)
Automatic listing of important observational statements. II (1973) (21)
The GUHA method and the three-valued logic (1971) (20)
Fuzzy inference as deduction (1999) (20)
On Logics of Discovery (1975) (20)
Fuzzy logic as logic (1995) (19)
A set theory within fuzzy logic (2001) (19)
Combinatorial principles concerning approximations of functions (1987) (18)
Uniformly Gâteaux smooth approximations on c0(Γ) (2009) (17)
A note on the first‐order logic of complete BL‐chains (2008) (17)
Uniform Eberlein Compacta and Uniformly Gâteaux Smooth Norms (1997) (17)
Fuzzy Logic and Arithmetical Hierarchy, II (1997) (17)
On a new notion of partial conservativity (1984) (16)
On witnessed models in fuzzy logic II (2007) (16)
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic (2009) (16)
On Approximate Inference (1998) (15)
Smooth norms and approximation in banach spaces of the type (K) (2006) (15)
Magari and others on Gödel’s ontological proof (2017) (15)
A note on the normal form of closed formulas of interpretability logic (1991) (15)
A non-arithmetical Gödel logic (2005) (14)
A Comparative Fuzzy Modal Logic (1993) (14)
A REMARK ON BANDLER-KOHOUT PRODUCTS OF RELATIONS (1996) (14)
Characterization of reflexivity by equivalent renorming (2004) (13)
On recursion theory in IΣ1 (1989) (13)
Arithmetical complexity of fuzzy predicate logics - A survey II (2009) (13)
Towards metamathematics of weak arithmetics over fuzzy logic (2011) (13)
Odd Degree Polynomials on Real Banach Spaces (2007) (12)
Medical Fuzz;y Expert Systems and Reasoning about Beliefs (1995) (12)
Algebraic foundations of uncertainty processing rule-based expert systems (group theoretic approach) (1990) (12)
Making Dynamic Logic First-Order (1981) (12)
Geometry and Gâteaux smoothness in separable Banach spaces (2012) (12)
Arithmetical complexity of first-order fuzzy logics (2011) (12)
“Just Because”: Taking Belief Bases Seriously (2016) (11)
招待講演 Logics for Data Mining(GUHA Rediviva) (1998) (11)
Functions locally dependent on finitely many coordinates (2006) (11)
A dialogue on fuzzy logic (1997) (11)
On some formalized conservation results in arithmetic (1990) (11)
Monadic Fuzzy Predicate Logics (2002) (10)
Analytic norms in Orlicz spaces (2000) (10)
Relations in GUHA Style Data Mining (2001) (10)
On arithmetical complexity of fragments of prominent fuzzy predicate logics (2007) (10)
Smooth norms on certain $C(K)$ spaces (2003) (10)
Universality of Asplund spaces (2007) (9)
On generalized quantifiers, finite sets and data mining (2003) (9)
On the Bit-Comprehension Rule (2016) (9)
Weak∗ dentability index of spaces C([0,α]) (2009) (9)
On Partially Conservative Extensions of Arithmetic (1979) (9)
Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa (2006) (8)
Smooth functions onC(K) (1998) (8)
Liftings of Homomorphisms Between Quotient Structures and Ulam Stability (2016) (8)
On the range of the derivative of Gâteaux-smooth functions on separable banach spaces (2005) (8)
$C^k$-smooth approximations of LUR norms (2009) (8)
Polynomial algebras on classical banach spaces (1998) (8)
A Qualitative Belief Logic (1994) (8)
Smooth functions on c 0 (2009) (8)
The logic ofII1-conservativity continued (1992) (8)
Two orderings of the class of all countable models of peano arithmetic (1980) (8)
A simple dynamic logic (1986) (8)
A note on the notion of truth in fuzzy logic (2001) (8)
Fuzzy Predicate Calculus and Fuzzy Rules (2000) (8)
On interpretability in theories containing arithmetic. II. (1981) (8)
Trakhtenbrot Theorem and Fuzzy Logic (1998) (7)
Arithmetical Complexity of Some Problems in Computer Science (1977) (7)
GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS (1996) (7)
Smooth approximations without critical points (2003) (7)
Why Fuzzy Logic (2007) (7)
Mazur intersection property for Asplund spaces (2008) (7)
On the moduli of convexity (2007) (7)
Automatic listing of important observational statements. I (1973) (7)
Polynomial algebras and smooth functions in Banach spaces (2014) (7)
Polynomials and injections of Banach spaces into superreflexive spaces (1994) (7)
Smooth noncompact operators from C(K), K scattered (2007) (6)
On equality and natural numbers in Cantor-Łukasiewicz set theory (2013) (6)
Boundedness of biorthogonal systems in Banach spaces (2010) (6)
Ranges of operators and derivatives (2010) (6)
SYSTEMS OF CONDITIONAL BELIEFS IN DEMPSTER-SHAFER THEORY AND EXPERT SYSTEMS (1993) (6)
A True Unprovable Formula of Fuzzy Predicate Logic (2004) (6)
On Sequences of Degrees of Constructibility (1978) (6)
The GUHA Method and Foundations of (Relational) Data Mining (2003) (6)
Some remarks on observational model-theoretic languages (1976) (6)
Arithmetical interpretations of dynamic logic (1983) (6)
On witnessed models in fuzzy logic III - witnessed Gödel logics (2010) (6)
Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing (2007) (6)
Smooth partitions of unity on certain C(K) spaces (2005) (6)
Deductive Systems of Fuzzy Logic (2011) (6)
Logics and Statistics for Association Rules and Beyond Abstract of Tutorial (1999) (6)
ANALYTIC RENORMINGS OF C(K) SPACES (1996) (6)
Automatic listing of important observational statements. III (1974) (6)
GUHA - the method of systematical hypotheses searching (1966) (6)
Decision Problems of Some Statistically Motivated Monadic Modal Calculi (1981) (5)
Towards a Probabilistic Analysis of MYCIN-like Expert Systems (Working Paper) (1988) (5)
The Szlenk index of Lp(X) (2014) (5)
The expert system shell EQUANT-PC: brief information (1989) (5)
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75) (1978) (5)
A Note on Fuzzy Inference as Deduction (1999) (5)
On Definability of Admissible Sets (2016) (5)
Epistemic Entrenchment and Arithmetical Hierarchy (1993) (5)
How Small Can the Set of Generics Be (2016) (5)
Polynomials and identities on real Banach spaces (2012) (5)
Some problems on ordinary differential equations in Banach spaces (2010) (4)
A second-order dynamic logic with array assignments (1981) (4)
An exercise in Dempster-Shafer theory (1992) (4)
Logics for Data Mining (2010) (4)
Ten claims about fuzzy logic (1998) (4)
Some duality relations in the theory of tensor products (2012) (4)
Smoothing of bump functions (2008) (4)
Some results on degrees of constructibility (1978) (4)
Some remarks on Cantor-Łukasiewicz fuzzy set theory (2013) (4)
Hilbert generated Banach spaces need not have a norming Markushevich basis (2019) (4)
Extensions of smooth mappings into biduals and weak continuity (2013) (4)
Metamathematics of First-Order Arithmetic by Petr Hájek (2017) (4)
Stabilization of polynomials (1995) (4)
Classification of Subsheaves over GL-Algebras (2016) (4)
The GUHA method of systematical hypotheses searching. II (1967) (3)
Distortion of Lipschitz functions on ₀(Γ) (2018) (3)
Finite-Dimensional Spaces (2011) (3)
Comments on Interpretability and Decidability in Fuzzy Logic (2011) (3)
Kurt Gödel, completeness, incompleteness (2007) (3)
Chapter II: Fragments and Combinatorics (1998) (3)
Polyhedrality in Orlicz spaces (2008) (3)
Ontological Proofs of Existence and Non-Existence (2008) (3)
Interpreting lattice-valued set theory in fuzzy set theory (2013) (3)
On Fuzzy Theories with Crisp Sentences (2006) (3)
The Szlenk Index of L_p(X) (2013) (3)
Partial conservativity revisited (1987) (3)
Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets (2016) (3)
Completion closed algebras and models of Peano arithmetic (1981) (3)
On convex functions in $c_0(\omega_1)$ (1996) (3)
Relations and GUHA-Style Data Mining II (2003) (3)
A remark on smooth images of Banach spaces (2018) (2)
Schauder Bases under Uniform Renormings (2007) (2)
Logische Kategorien (1970) (2)
On C 2 -smooth norms on c 0 (1996) (2)
Cardinal Invariants Associated with Predictors (2016) (2)
P-continuity on classical Banach spaces (1999) (2)
Renorming James tree space (2005) (2)
Possibilistic Logic as Interpretability Logic (1994) (2)
Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers (2016) (2)
Continuous Images of Coanalytic Sets (2016) (1)
Many-Valued Predicate Logics (1998) (1)
Basic Concepts in Banach Spaces (2011) (1)
Weakly Compactly Generated Spaces (2011) (1)
On coarse embeddings into c0(Γ) (2018) (1)
Weakly Compact Generating and Shrinking Markusevic Bases (2006) (1)
Front Matter: Volume 1 (Proceedings of CBU) (2013) (1)
Degrees of dependence in the theory of semisets. (1974) (1)
On generalized credence functions (1973) (1)
Product Logic, Gödel Logic (and Boolean Logic) (1998) (1)
Analytic approximations of norms in separable Banach spaces (2009) (1)
Briefly on the GUHA method of data mining (2003) (1)
Fragments and Combinatorics (1993) (1)
Logics of Knowing and Believing (1998) (1)
A note on biorthogonal systems (2020) (1)
Applying Artificial Intelligence to Data Analysis (1982) (1)
Chapter III: Self-Reference (1998) (1)
Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo‐Fraenkel set theory (1972) (1)
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 (2016) (1)
Isomorphic embeddings and harmonic behaviour of smooth operators (2004) (1)
Cross-sections of solution funnels☆ (2016) (1)
The Ramsey Structure of A-Determined Sets in a Saturated Universe (2016) (1)
Operator Machines on Directed Graphs (2009) (1)
Many-Valued Propositional Calculi (1998) (1)
Mathematical Fuzzy Logic – State of Art (2016) (1)
Decidability of the ∃*∀*-Class in the Membership Theory NWL (1996) (1)
REVIEWS-The philosophical computer (2000) (1)
Hartley Rogers’ 1965 Agenda (2016) (1)
Kurt Gödel and the Foundations of Mathematics: Gödel's Ontological Proof and Its Variants (2011) (1)
SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC (2010) (1)
Erratum to: “Polynomial algebras on classical Banach spaces” (2015) (1)
A Theorem on Countable Ordered Sets with an Application to Universal Graphs (2016) (1)
Grim Patrick, Mar Gary, and Denis Paul St.. The philosophical computer. Exploratory essays in philosophical computer modeling . With the Group for Logic and Formal Semantics. The MIT Press, Cambridge, Mass., and London, 1998, viii + 323 pp. + CD-ROM (2000) (0)
Chapter 1. Fundamental properties of smoothness (2014) (0)
Preface to the Series Perspectives in Mathematical Logic (2016) (0)
[Hypnotizability of hypnotists]. (1981) (0)
Logical Foundations of Computational Statistics (1978) (0)
A Note on Fuzzy Predicate Logic (2007) (0)
Introduction: What is a Logic of Discovery (1978) (0)
Basics in Nonlinear Geometric Analysis (2011) (0)
The Prague seminar of applied mathematical logic and its work on fuzzy logic (1996) (0)
The logic of 77,-conservativity (1988) (0)
A note on the independence assumption underlying subjective Bayesian updating in expert systems (1987) (0)
O ct 2 01 3 Two principles in many-valued logic For (2013) (0)
Erratum to: “Polynomial algebras on classical Banach spaces” (2015) (0)
Front Matter: Volume 3 (Proceedings of CBU) (2015) (0)
C 1-Smoothness in Separable Spaces (2011) (0)
LOCALLY FLAT BANACH SPACES (2012) (0)
Listing of Important Observational Statements and Related Logical Problems (1978) (0)
Generalization of Zippin’s theorem on perturbing Banach spaces with separable dual (2019) (0)
Corrigendum to “Cross-sections of solution funnels” [J. Math. Anal. Appl. 433 (2) (2015) 957–973] (2016) (0)
Differentiability of Norms (2001) (0)
^rT ©2000 Kluwer Academic Publishers. Printed in the Netherlands. (2000) (0)
Chapter I: Arithmetic as Number Theory, Set Theory and Logic (2017) (0)
Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals (2016) (0)
ANALYTIC APPROXIMATIONS OF UNIFORMLY CONTINUOUS OPERATORS (2009) (0)
On White's Expansion of Lukasiewicz Logic (2010) (0)
Hahn–Banach and Banach Open Mapping Theorems (2011) (0)
Front Matter: Volume 7 (Proceedings of CBU) (2019) (0)
Chapter 5. Smoothness and structure (2014) (0)
Graham Priest. An introduction to non-classical logic . Cambridge University Press, 2001, xxi + 242 pp. (2006) (0)
Fleas and fuzzy logic: a survey (2003) (0)
Schauder bases in Lipschitz free spaces over nets of L ∞ -spaces (2022) (0)
Lipschitz-free spaces over metric spaces homeomorphic to the Cantor space (2015) (0)
Locally Convex Spaces (2001) (0)
Artin Approximation via the Model Theory of Cohen-Macaulay Rings (2016) (0)
Editorial (2005) (0)
Editorial (2005) (0)
GEOMATICS FOR SECONDARY SCHOOLS (2014) (0)
Coarse embeddings into $c_0(\Gamma)$ (2017) (0)
[Ontogenetic evolution of immune reactions]. (1971) (0)
Some Remarks on the Maximality of Inner Models (2016) (0)
Higher Order Smoothness (2011) (0)
Introduction (1981) (0)
Front Matter: Volume 6 (Proceedings of CBU) (2018) (0)
Chapter 2. Basic properties of polynomials on Rn (2014) (0)
Index of Symbols (2019) (0)
Machine learning in fnance and accounting (2021) (0)
Generalization of a theorem of Zippin (2017) (0)
Editorial (2004) (0)
Mathematical Fuzzy Logic - a Survey and Some News (2007) (0)
Front Matter: Volume 2 (Proceedings of CBU) (2014) (0)
Chapter 7. Smooth approximation (2014) (0)
Applicability of a mathematico-logical method of automatic searching for general unary hypotheses (GUHA) in studying the postcruciate-coronal complex in the cat. (1968) (0)
On dynamic logic (1980) (0)
Editorial (2001) (0)
Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings (1995) (0)
Opening speech of Petr Vopěnka (2016) (0)
Managing editors D. Van Dalen Y. Gurevich J. hartmanis (1984) (0)
Relative Splittings of in the-Enumeration Degrees (2016) (0)
Questions of Computational Complexity and Undecidability (1998) (0)
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (2020) (0)
Topographical anatomy of limbs (2010) (0)
Weak Topologies and Banach Spaces (2011) (0)
Qualitative and Probabilistic Models of Full Belief (2016) (0)
Bibliographical Remarks and Further Reading (1998) (0)
Structure of Banach Spaces (2011) (0)
Fuzzy Logic Corner On White ’ s Expansion of Łukasiewicz Logic (2010) (0)
The concept of a primitive class of algebras (Birkhoff theorem) (1965) (0)
Bibliography of the Prague Seminar on Foundations of Set Theory - Part II (1973) (0)
Generalized Quantifiers and Modalities (1998) (0)
FA ] 6 M ar 2 01 7 Coarse embeddings into c 0 ( Γ ) (2018) (0)
Logic in Central and Eastern Europe (1997) (0)
Front Matter Volume 1 (2020) (0)
Chapter IV: Models of Fragments of Arithmetic (1998) (0)
Smoothness and Structure (2001) (0)
10 Triangular norm-based mathematical fuzzy logics (2004) (0)
On Recursion Theory in I Sigma1 (1989) (0)
Front Matter: Volume 4 (Proceedings of CBU) (2016) (0)
On ω-limit sets of ordinary differential equations in Banach spaces (2010) (0)
The Logic of Observational Functor Calculi (1978) (0)
Special Issue: Methods for Investigating Self-Referential Truth edited by Volker Halbach Volker Halbach/Editorial Introduction 3 (2001) (0)
A Hilbert space characterization using a pair of decompositions (2021) (0)
How to characterize provably total functions (2016) (0)
Chapter 4. Asymptotic properties of polynomials (2014) (0)
Some Remarks on Biorthogonal Systems in Banach Spaces (2005) (0)
Index of Terms (1998) (0)
The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts (2016) (0)
Reflections on the Last Delfino Problem (2016) (0)
Compactness of Various Fuzzy Logics (2020) (0)
Editorial (2008) (0)
Front Matter: Volume 5 (Proceedings of CBU) (2017) (0)
Models of Fragments of Arithmetic (1993) (0)
Strongly Extreme Points and Approximation Properties (2017) (0)
Chapter 6. Structural behaviour of smooth mappings (2014) (0)
Topics in Weak Topology (2001) (0)
[Description of the computer AIC for automatic interpretation of curves]. (1969) (0)
Chapter 3. Weak continuity of polynomials and estimates of coefficients (2014) (0)
Dentability and Differentiability (2011) (0)
[General Unary Hypotheses Automaton-method for automatic retrieval of scientific hypotheses]. (1967) (0)
A Formalization of Observational and Theoretical Languages (1978) (0)
Chapter V: Bounded Arithmetic (1998) (0)
Epistemic Entrenchment and Arthmetical Hierarchy (Abstract) (1993) (0)
Bolzano Medal awarded to Gaisi Takeuti (2016) (0)
Compact Operators on Banach Spaces (2011) (0)
Editorial (2010) (0)
[The GUHA (General Unary Hypotheses Automaton) method of tracing of hypotheses]. (1969) (0)
A General GUHA-Method with Associational Quantifers (1978) (0)
Topics in Weak Topologies on Banach Spaces (2011) (0)
Fuzzy logic and Lindstr¨om’s theorem (2020) (0)
Further Statistical Problems of the Logic of Discovery (1978) (0)
Łukasiewicz Propositional Logic (1998) (0)
Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science (1995) (0)

This paper list is powered by the following services:

Other Resources About Petr Hájek

en.wikipedia.org

What Schools Are Affiliated With Petr Hájek?

Petr Hájek is affiliated with the following schools:

Image Attributions

Image Source for Petr Hájek