Results 231 to 240 of about 206,152 (285)
Figure of merit for piezoelectric MEMS speakers. [PDF]
Microsyst NanoengSun M +8 more
europepmc +1 more source
The 8-Factor reasoning styles scale: development, validation, and psychometric evaluation. [PDF]
BMC PsycholDuran V, Çelık F.
europepmc +1 more source
A Chinese Elementary Science Question Dataset in Problem-Solving Process Generation. [PDF]
Sci DataLi D +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2021
AbstractNatural deduction is a philosophically as well as pedagogically important logical proof system. This chapter introduces Gerhard Gentzen’s original system of natural deduction for minimal, intuitionistic, and classical predicate logic. Natural deduction reflects the ways we reason under assumption in mathematics and ordinary life.
Paolo Mancosu +2 more
openaire +1 more source
AbstractNatural deduction is a philosophically as well as pedagogically important logical proof system. This chapter introduces Gerhard Gentzen’s original system of natural deduction for minimal, intuitionistic, and classical predicate logic. Natural deduction reflects the ways we reason under assumption in mathematics and ordinary life.
Paolo Mancosu +2 more
openaire +1 more source
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
openaire +3 more sources
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
openaire +3 more sources
Naturalizing Natural Deduction
2016A simplified and improved system of natural deduction for classical predicate logic is presented. The inference rules of existential instantiation EI, existential elimination (\(\exists\) E), and universal generalization UG (\(\forall\) I) are not employed in this system.
David DeVidi, Herbert Korté
openaire +1 more source
A Many‐Sorted Natural Deduction
Computational Intelligence, 1998The 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
A. Cimatti +2 more
openaire +3 more sources
Natural Deduction for Quantum Logic
Logica Universalis, 2022This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry-Howard isomorphism, quantum λ-calculus is also introduced for which strong normalization property is established.
openaire +1 more source
1999
The functional interpretation of logical connectives is concerned with a certain harmony between, on the one hand, a indexfunctional! calculus functional calculus on the expressions built up from the recording of the deduction steps (the labels), and, on the other hand, a logical calculus on the formulae.
Ruy J. G. B. De Queiroz, Dov M. Gabbay
openaire +1 more source
The functional interpretation of logical connectives is concerned with a certain harmony between, on the one hand, a indexfunctional! calculus functional calculus on the expressions built up from the recording of the deduction steps (the labels), and, on the other hand, a logical calculus on the formulae.
Ruy J. G. B. De Queiroz, Dov M. Gabbay
openaire +1 more source