Results 1 to 10 of about 3,981 (217)

THEORIES OF DEDUCTIVE SYSTEMS EQUIVALENT TO T w

Demonstratio Mathematica, 1987
exaly   +4 more sources

On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency [PDF]

Axioms, 2016
In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus.
Urszula Wybraniec-Skardowska
doaj   +3 more sources

The syntactic side of autonomous categories enriched over generalised metric spaces [PDF]

Logical Methods in Computer Science, 2023
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold.
Fredrik Dahlqvist, Renato Neves
doaj   +1 more source

Decidability of Deterministic Process Equivalence for Finitary Deduction Systems [PDF]

2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 2020
Deciding privacy-type properties of deterministic cryptographic protocols such as anonymity and strong secrecy can be reduced to deciding the symbolic equivalence of processes, where each process is described by a set of possible symbolic traces. This equivalence is parameterized by a deduction system that describes which actions and observations an ...
Chevalier, Yannick, Romero Jimenez, Benito Fabian   +1 more
openaire   +2 more sources

Grammatical Features of Translating Bilateral International Treaties

Translation Studies: Theory and Practice, 2022
The article focuses on the study of some grammatical and structural aspects of international treaties discussing the problems of their equivalent conveyance from English into Armenian.
Anna Khachatryan, Markuhi Voskanyan
doaj   +1 more source

Lexico-semantic analysis of the polysemic words in ukrainian and english (on the example of the word debate)

Актуальні питання суспільних наук та історії медицини, 2022
The lexical-semantic system is one of the most complex language systems, which is due to the multidimensionality of its structure, the heterogeneity of speech units, the variety of displayed relations, and openness to constant replenishment with new ...
Антоній Мойсей, Наталія Скрицька   +1 more
doaj   +1 more source

Exploring hospital certification processes from the certification body’s perspective - a qualitative study

BMC Health Services Research, 2020
Background Hospital certification is an external assessment mechanism to assure quality and safety systems. Auditors representing the certification body play a key role in certification processes, as they perform the assessment activities and interact ...
Dag Tomas Sagen Johannesen, Siri Wiig
doaj   +1 more source

Formulaciones del segundo principio de la termodinámica

Crítica, 2018
The second principle is usually considered as an axiom of Classical Equilibrium Thermodynamics (CET), but there are different versions of that law and the deductive relations between them are not immediately evident.
Julián Garrido Garrido
doaj   +1 more source

The Problem of Atheism in Light of a Discrete Mathematical Model of Natural Theology as Formal Axiology

Вестник Екатеринбургской духовной семинарии
The object of investigation — the historical fact of puzzling and frightening correlation (a strong intertwinement) between the theoretic systems (and corresponding academic disciplines) called “Scientific Atheism” and “Scientific Communism”.
Vladimir O. Lobovikov
doaj   +1 more source

Unmasking Approaches and Errors to Synthesis-Type Problems: Insights from Undergraduate Chemistry Students

Science Education International
This study aimed to uncover common difficulties and possible areas for improvement by focusing on the approaches and errors made by 3rd-year undergraduate chemistry students in solving organic synthesis problems.
Ernest Koranteng
doaj   +1 more source