Results 281 to 290 of about 4,158,085 (300)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

Journal of Logic and Computation, 2022
In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational processes, like those underlying current AI applications.
F. A. D'Asaro, G. Primiero
semanticscholar   +1 more source

Inferring Knowledge from Textual Data by Natural Deduction

Journal of Computacion y Sistemas, 2020
In this paper, we introduce the system for inferring implicit computable knowledge from textual data by natural deduction. Our background system is Transparent Intensional Logic (TIL) with its procedural semantics that assigns abstract procedures known ...
M. Duží, Marek Mensík
semanticscholar   +1 more source

The Naturality of Natural Deduction

Studia Logica: An International Journal for Symbolic Logic, 2016
Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic ...
L. Tranchini, Paolo Pistone, Mattia Petrolo   +2 more
semanticscholar   +1 more source

Natural deduction

An Introduction to Proof Theory, 2021
P. Mancosu, S. Galvan, R. Zach
semanticscholar   +1 more source

Gödel’s Natural Deduction

Studia Logica: An International Journal for Symbolic Logic, 2016
This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory.
K. Dosen, M. Adžić
semanticscholar   +1 more source

Normality, Non-contamination and Logical Depth in Classical Natural Deduction

Studia Logica: An International Journal for Symbolic Logic, 2019
Marcello D'Agostino, D. Gabbay, S. Modgil   +2 more
semanticscholar   +1 more source

Falsification, natural deduction and bi-intuitionistic logic

Journal of Logic and Computation, 2016
H. Wansing
semanticscholar   +1 more source

Natural Deduction Systems for Logics in the FDE Family

New Essays on Belnap-­Dunn Logic, 2019
G. Priest
semanticscholar   +1 more source

Natural Deduction for Post’s Logics and their Duals

Logica Universalis, 2018
Y. Petrukhin
semanticscholar   +1 more source

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction

International Workshop on Theorie and Applications of Formal Argumentation, 2017
Jérémie Dauphin, M. Cramer
semanticscholar   +1 more source