Results 251 to 260 of about 17,292 (295)

Embracing imperfection: Carbon offset markets must learn to mitigate the risk of overcrediting. [PDF]

PNAS Nexus
Cabiyo B, Field CB.
europepmc   +1 more source

Analyzing the regulatory framework gaps for gas distribution networks with decreasing natural gas demand in Germany. [PDF]

Heliyon
Oberle S, Gnann T, Wayas L, Wietschel M.
europepmc   +1 more source

An Enhanced A*-DWA Fusion Algorithm for Robot Navigation in Complex Environments. [PDF]

Biomimetics (Basel)
Bao H, Fang J, Fang M, Zhang J, Zhang Z, Cai H.   +5 more
europepmc   +1 more source

Inferential schema in Akkadian diagnosis: the case of Ah̬h̬ a ¯ zu. [PDF]

Hist Philos Life Sci
Barés Gómez C.
europepmc   +1 more source

Fuzzy natural deduction

Mathematical Logic Quarterly, 1990
Many authors have proposed several systems of ``fuzzy logic'' as formal counterparts of approximate reasoning and these systems are obtained via suitable ``fuzzyfications'' of the ordinary Hilbert-type logical systems. In this paper the possibility of a fuzzyfication of natural deduction is explored and a very general notion of fuzzy natural deduction ...
G. GERLA, TORTORA, ROBERTO
core   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

A deficiency of natural deduction

Information Processing Letters, 1987
In the article two examples are given, illustrating how Gentzen's system of natural deduction in the present form is not suited to express an effective mathematical reasoning, because natural deduction may lead to rather ineffective proofs. This defect of Gentzen's system consists in the fact that this system does not handle equivalence efficiently ...
exaly   +4 more sources

A Many‐Sorted Natural Deduction

Computational Intelligence, 1998
The goal of this paper is to motivate and define yet another sorted logic, called SND. All the previous sorted logics that can be found in the Artificial Intelligence literature have been designed to be used in (completely) automated deduction. SND has been designed to be used in interactive theorem proving. Because of this shift of focus, SND has been
Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch   +2 more
openaire   +4 more sources

Classical Natural Deduction.

, 2005
Gentzen introduced his sequent calculi LK and LJ, as well as his natural deduction systems NK and NJ, in his celebrated “Investigations into Logical Deduction” (1935). As far as classical logic is concerned both the natural deduction calculus NK and the sequent calculus LK run into serious difficulties from the computational viewpoint.
D'AGOSTINO, Marcello
openaire   +2 more sources