Rostislav Horčı́k

Publications

278

Citations

H-Index

2002

Active since

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

Czech Academy of Sciences

Czech Technical University in Prague

Rostislav Horčı́k is an author at Czech Academy of Sciences, Institute of Computer Science specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningFuzzy LogicSemanticsFuzzy SystemsComputer ScienceComputational ComplexityLanguageLinguistics

Publications per year

2002–2020

Publications

Solution of a system of linear equations with fuzzy numbers

Rostislav Horčı́k · Fuzzy Sets and Systems · 2008 · 49 citations

Fuzzy Numbers, Fuzzy Logic, Fuzzy Modeling +3

On <i>n</i> ‐contractive fuzzy logics

Rostislav Horčı́k, Carles Noguera, Milan Petrík · Mathematical logic quarterly · 2007 · 39 citations · Full text

Algebraic Logic, Fuzzy Logic, Fuzzy Systems +10

Formal systems of fuzzy logic and their fragments

Petr Cintula, Petr Hájek, Rostislav Horčı́k · Annals of Pure and Applied Logic · 2007 · 32 citations

Formal Systems, Fuzzy Logic, Fuzzy Systems +6

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES

Petr Cintula, Rostislav Horčı́k, Carles Noguera · The Review of Symbolic Logic · 2013 · 30 citations · Full text

Algebraic Logic, Non-classical Logic, Engineering +13

Standard completeness theorem for ΠMTL

Rostislav Horčı́k · Archive for Mathematical Logic · 2004 · 28 citations

Engineering, Incompleteness, Proof Complexity +3

Rows per page

1–5 of 12