Results 261 to 270 of about 8,301 (297)

Optimizing electrocoagulation for poultry slaughterhouse wastewater treatment: a fuzzy axiomatic design approach. [PDF]

Environ Sci Pollut Res Int
Tanatti NP, Sezer M.
europepmc   +1 more source

The Constitution as an Axiomatic System

Axiomathes, 2017
The Constitution is considered as an informal axiomatic system. The strategy proposed by the authors rests on the following propositions: (1) axioms are considered as contextual definitions of those concepts by means of which they are formulated; and (2) the main requirement for this type of system is internal consistency.
Vitaly V Ogleznev, Valeriy A Surovtsev
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

An axiomatic system for multidimensional preferences

Theory and Decision, 1974
An axiomatic system TP is developed which allows the amalgamation of linear preferences (preferences in respect to different criteria) according to the weights of those criteria. Section 1 deals with linear preferences. In Section 2 an axiomatic system for the ordering of classes of criteria is formulated.
Oswald Huber
exaly   +2 more sources

An axiomatic system of parametricity

Fundamenta Informaticae, 1997
Plotkin and Abadi have proposed a syntactic system for parametricity based on a second order predicate logic. This paper shows three theorems about that system. The first is consistency of the system, which is proved by the method of relativization. The second is that polyadic parametricities of recursive types are equivalent to each other.
null Takeuti, null Izumi
openaire   +2 more sources

A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$

Lecture Notes in Computer Science, 2014
Part 5: Automatic ReasoningInternational audienceAn axiomatic system is presented in this paper, which has a modal operator □ such that $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$, where □1 and □2 are the modal operators of the language for the axiom ...
Shaobo Deng, Cungen Cao, Yuefei Sui
exaly   +2 more sources

Axiomatic System, Deduction and Implication

Journal of Logic and Computation, 1992
Summary: The notions of logic, deduction, axiomatic systems and implication are investigated within the general framework of consequence relations (CRs). We distinguish between several types of CRs and define corresponding notions of deduction and of inclusion between logics.
openaire   +2 more sources

A Computer system for axiomatic investigation

International Journal of Man-Machine Studies, 1981
This paper describes a computer system that can be used for informal axiomatic investigation of mathematics. A formal mathematics-like language is defined which enables a mathematician to write informal mathematical statements and proofs. Each step of a proof is checked for logical validity, and a user may develop and retain a system of axioms ...
openaire   +2 more sources

Improving information system design: Using UML and axiomatic design

Computers in Industry, 2022
Luis Cavique, Mariana Cavique, Armando Mendes   +2 more
exaly