Results 111 to 120 of about 270,225 (234)

Axiomatic foundations of acceptability semantics

, 2016
An argument is a reason or justification of a claim. It has an intrinsic strength and may be attacked by other arguments. Hence, the evaluation of its overall strength becomes mandatory, especially for judging the reliability of its claim. Such an evaluation is done by acceptability semantics.
Amgoud, Leila, Ben-Naim, Jonathan
openaire   +1 more source

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]

Computer Science Journal of Moldova, 2019
Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov   +3 more
doaj  

Relativistic Roots of κ-Entropy

Entropy
The axiomatic structure of the κ-statistcal theory is proven. In addition to the first three standard Khinchin–Shannon axioms of continuity, maximality, and expansibility, two further axioms are identified, namely the self-duality axiom and the scaling ...
Giorgio Kaniadakis
doaj   +1 more source

Algebras with actions and automata

International Journal of Mathematics and Mathematical Sciences, 1982
In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular:
W. Kühnel, M. Pfender, J. Meseguer, I. Sols   +3 more
doaj   +1 more source

The Environmental Conditions, Treatments, and Exposures Ontology (ECTO): connecting toxicology and exposure to human health and beyond. [PDF]

J Biomed Semantics, 2023
Chan LE, Thessen AE, Duncan WD, Matentzoglu N, Schmitt C, Grondin CJ, Vasilevsky N, McMurry JA, Robinson PN, Mungall CJ, Haendel MA.   +10 more
europepmc   +1 more source

The Social Constitution of Mathematical Knowledge. Objectivity, Semantics, and Axiomatics

, 2023
The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the philosophical-normative framework that guides the discussion. This chapter investigates some recent proposals in the philosophy of mathematical practice that compare social facts and mathematical objects ...
openaire   +1 more source

Modal weak Kleene logics: axiomatizations and relational semantics

Journal of Logic and Computation
Abstract Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar [4] and Halldén [30], these systems are equipped with an additional connective capable of expressing whether a formula is classically true. In this paper
Stefano Bonzio, Nicolò Zamperlin
openaire   +3 more sources

An axiomatic semantics for iocos_ conformance relation

J. Log. Algebraic Methods Program., 2018
C. Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres   +2 more
semanticscholar   +1 more source

Ontological Model in the Identification of Emotional Aspects in Alzheimer Patients. [PDF]

Healthcare (Basel), 2023
Castillo Salazar DR, Lanzarini L, Gómez H, Thirumuruganandham SP, Castillo Salazar DX.   +4 more
europepmc   +1 more source

Steps Toward a Philosophy for Mathematicians. [PDF]

Math Intell, 2023
Fenstad JE.
europepmc   +1 more source