Results 171 to 180 of about 503 (185)

A finite axiomatization of the set of strongly valid Ockhamist formulas

Journal of Philosophical Logic, 1985
Alberto Zanardo, Zanardo Alberto
exaly  

An alternative axiomatization of the Hirsch index

Journal of Informetrics, 2014
Takumi Kongo
exaly  

Axiomatization

2022
exaly  

The Axiomatic Characterization of Functions

Mathematical Logic Quarterly, 1977
B. Schweizer, A. Sklar
openaire   +1 more source

A Note on Luce-Fishburn Axiomatization of Rank-Dependent Utility

Journal of Risk and Uncertainty, 2004
Liping Liu
exaly  

A Gentzen-style axiomatization for basic predicate calculus

Archive for Mathematical Logic, 2003
Mohammad Ardeshir, Ardeshir Mohammad
exaly  

Axiomatization of covering-based approximation operators generated by general or irreducible coverings

International Journal of Approximate Reasoning, 2018
Zuoming Yu, Jinjin Li, Yanlan Zhang
exaly  

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

Mathematical Logic Quarterly, 1994
exaly  

First-order logic axiomatization of metric graph theory

Theoretical Computer Science
Jeremie Chalopin, Manoj Changat, VÍCTOR Chepoi   +2 more
exaly  

A PARALLEL BEST-FIRST B&B ALGORITHM AND ITS AXIOMATIZATION

International Journal of Parallel, Emergent and Distributed Systems, 1994
exaly