Results 1 to 10 of about 5,727 (300)
A Formal System of Axiomatic Set Theory in Coq
IEEE Access, 2020 Formal verification technology has been widely applied in the fields of mathematics and computer science. The formalization of fundamental mathematical theories is particularly essential.
Tianyu Sun, Wensheng Yu
doaj +3 more sources
Mathematics, 2021 The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system.
Vladimir Olegovich Lobovikov
doaj +3 more sources
Towards an Axiomatic System for Kolmogorov Complexity [PDF]
Lecture Notes in Computer Science, 2011 In [She82], it is shown that four basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization of this notion. In this paper, we try to extend this work, both by looking at alternative axiomatic systems for plain complexity and by considering potential axiomatic systems for other ...
openaire +5 more sources
On the Admissibility of Axiomatic Systems
This paper introduces a structural condition on axiomatic systems. A framework is admissible only if it satisfies its own axioms under self-application and remains consistent with constraints imposed by its derived consequences. These two conditions define admissibility as a global constraint linking axioms and consequences.
Carson Anderson
openalex +3 more sources
Studia Prawa PublicznegoMario Krešić, In Search of the Functions of the Legal System: Axiomatic and Methodological Stages (W poszukiwaniu funkcji systemu prawnego: etapy aksjomatyczne i metodologiczne), „Acta Universitatis Carolinae – Iuridica” 2024, vol. 70, no. 4, s.
Karol Dąbrowski
doaj +3 more sources
Entropic Measure of Epistemic Uncertainties in Multibody System Models by Axiomatic Design
Entropy, 2017 In this paper, the use of the MaxInf Principle in real optimization problems is investigated for engineering applications, where the current design solution is actually an engineering approximation.
Francesco Villecco, Arcangelo Pellegrino
doaj +3 more sources
Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis
Axioms, 2021 The standard elementary number theory is not a finite axiomatic system due to the presence of the induction axiom scheme. Absence of a finite axiomatic system is not an obstacle for most tasks, but may be considered as imperfect since the induction is ...
Yuri N. Lovyagin, Nikita Yu. Lovyagin
doaj +1 more source
Motahari’s Philosophical approach to the question of the relation between Reason and Religion [PDF]
حکمت و فلسفه, 2015 The relationship between Reason and Religion is one of the most fundamental matters in the territory of Philosophy of Religion and philosophical epistemology. Theologians have considered especially religious aspects of it from many centuries ago and have
mehdi behniafar, hamideh mokhtari
doaj +1 more source
Axiomatizing Hybrid XPath with Data [PDF]
Logical Methods in Computer Science, 2021 In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the hybrid operator ...
Carlos Areces, Raul Fervari
doaj +1 more source
Rethinking Painting Style from the Phenomeno-Logical Perspective. Fine Art and Axiomatic Method [PDF]
Phainomena, 2019 It is known that a professional artist can enter the structure of any already created painting style, simulate it, or even independently create in it. Today, a painter can, for example, paint an impressionist, fauvist, cubist, etc., composition.
Jožef Muhovič
doaj +1 more source