Results 251 to 260 of about 45,474,262 (309)
Some of the next articles are maybe not open access.
A method of axiomatization of Łukasiewicz logics
Studia Logica, 1974By the language of Lukasiewicz logics we understand the algebra of formulas L = 〈L,→,∼〉. The μ-valued Lukasiwicz matrix 〈Aμ, {1}〉, μ = 2, 3, . . ., א0, (cf. [1]), will be denoted here by Mμ. Lμ = R(Mμ) is the set of tautologies of Mμ and is called the μ-valued Lukasiewicz system. All the unexplained notation in this text will come from Wojcicki’s paper
openaire +2 more sources
On a Method of Axiomatization of Some Propositional Calculi
Mathematical Logic Quarterly, 1987In this paper a simple method is given for the finite axiomatization of some propositional logics determined by finite matrices. Particular examples of such logics are the finite valued \({\L}ukasiewicz\) logics, modal logics containing S4, and intermediate logics in versions with various connectives.
openaire +3 more sources
1965
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source
If the object of which knowledge is acquired is not given directly it has to be known through some other object, i.e. indirectly. Since the object is a state of affairs, and this itself is expressed in a sentence, every indirect acquisition of knowledge proceeds by inference from one sentence to another or by the derivation of the second sentence from ...
openaire +1 more source
Why Uncertainty Estimation Methods Fall Short in RAG: An Axiomatic Analysis
Annual Meeting of the Association for Computational LinguisticsLarge Language Models (LLMs) are valued for their strong performance across various tasks, but they also produce inaccurate or misleading outputs. Uncertainty Estimation (UE) quantifies the model's confidence and helps users assess response reliability ...
Heydar Soudani, E. Kanoulas, F. Hasibi
semanticscholar +1 more source
1987
This chapter discusses the verification method of Hoare, well known for proving the partial correctness of while-programs. This method is usually presented in the form of a calculus, the so-called Hoare calculus. Essentially this approach is identical with the inductive assertions method introduced in the last chapter, as may become plausible from the ...
Jacques Loeckx, Kurt Sieber
openaire +1 more source
This chapter discusses the verification method of Hoare, well known for proving the partial correctness of while-programs. This method is usually presented in the form of a calculus, the so-called Hoare calculus. Essentially this approach is identical with the inductive assertions method introduced in the last chapter, as may become plausible from the ...
Jacques Loeckx, Kurt Sieber
openaire +1 more source
An axiomatic method for goal-dependent allocation in life cycle assessment
The International Journal of Life Cycle Assessment, 2021D. Schrijvers +2 more
semanticscholar +1 more source
*ZFC: An axiomatic * approach to nonstandard methods
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1997The author establishes a new foundation of nonstandard analysis in which it is possible to deal with external sets. To do so, a function * defined on the class \(S\) of all standard sets is introduced, namely \[ \biggl\{ \forall x,y,z\;\bigl[^* x=y\wedge {^*x}= z\to(y=z \wedge x\in S)\bigr] \biggr\} \wedge [\forall x\in S\;\exists y\;({}^*x =y ...
openaire +3 more sources
Teaching Transformers Causal Reasoning through Axiomatic Training
International Conference on Machine LearningFor text-based AI systems to interact in the real world, causal reasoning is an essential skill. Since active interventions are costly, we study to what extent a system can learn causal reasoning from symbolic demonstrations of causal axioms ...
Aniket Vashishtha +6 more
semanticscholar +1 more source
From Axiomatics Method to Multiple Axiomatics Method – Q.E. (Quantification of Everything) Method
This paper is about the classic method, which is used in the analysis of any scientific issue, and it could be used in every science. In this paper are submitted the most common methodological approaches, which are used in economics, and then the new methodology of Mu.A.M. (Multiple Axiomatics Method), also known as Q.E.openaire +1 more source
The Use of the Axiomatic Method in Secondary Teaching
The Mathematics Teacher, 1966The Report was prepared at the request of the Sub-committee on Instruction of the British National Committee for Mathematics. It formed the basis of the presentation of the United Kingdom point of view in a discussion on the topic at the International Congress of Mathematicians held in Moscow in August, 1966.
openaire +1 more source