Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Karel Chvalovský

On the Independence of Axioms in BL and MTL

Fuzzy Sets and Systems
Artificial IntelligenceLogic
2012English

Note on Deduction Theorems in Contraction-Free Logics

English

Related publications

Axioms and Algorithms for Inferences Involving Probabilistic Independence

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1991English

On the Expressiveness of TPTL and MTL

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

On the Axioms of the Forces in the Mechanics of Rigid Bodies

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2017English

Role of MTL-1, MTL-2, and CDR-1 in Mediating CadmiumSensitivity in Caenorhabditis Elegans

Toxicological Sciences
Toxicology
2012English

TORI Axioms and the Application in Physics

Journal of Modern Physics
2013English

On Metric Independence and Linear Independence

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1955English

On Separation Axioms in Intuitionistic Topological Spaces

International Journal of Mathematics and Mathematical Sciences
Mathematics
2001English

Note on a System of Axioms for Geometry

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1909English

Anterior and Posterior MTL Networks in Aging and MCI

Neurobiology of Aging
AgingGerontologyDevelopmental BiologyGeriatricsNeuroscienceNeurology
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy