intuitionistic logic oor Spaans

intuitionistic logic

naamwoord

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

Vertalings in die woordeboek Engels - Spaans

lógica intuicionista

logic

Canonical formulas have provided a uniform way to formulate extensions of intuitionistic logic as well as modal logics.
Las fórmulas canónicas han proporcionado una forma uniforme de formular extensiones de la lógica intuicionista, así como de las lógicas modales.

voorbeelde

Heyting arithmetic adopts the axioms of Peano arithmetic (PA), but uses intuitionistic logic as its rules of inference.
La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista.

And this makes Intuitionist logic look less like a restriction, and more like an extension, of classical logic.
Y esto hace que la lógica intuicio nista parezca más una extensión que una restricción de la lógica clásica.

In his two-page paper Zum intuitionistischen Aussagenkalkül (1932) Gödel refuted the finite-valuedness of intuitionistic logic.
En su ensayo de dos páginas Zum intuitionistischen Aussagenkalkül (1932) Gödel refutó la “valuabilidad” finita de la lógica intuicionista.

However, the double negations of all classical theorems are valid in Intuitionist logic.
Sin embargo, las dobles negaciones de todos los teoremas clá sicos son válidas en la lógica intuicionista.

However, vacuous truth also appears in, for example, intuitionistic logic in the same situations given above.
Aun así, la verdad vacua también aparece en, por ejemplo, en la lógica intuicionista en las mismas situaciones que las dadas anteriormente.

The law does not hold in general in intuitionistic logic.
La ley generalmente no se utiliza en lógica intuicionista.

Hermann Weyl's interest in intuitionistic logic and impredicativity appears to have resulted from his reading of Husserl.
El interés de Hermann Weyl en la lógica intuicionista y en la impredicabilidad, por ejemplo, parece provenir del contacto con Husserl.

These algebras provide a semantics for classical and intuitionistic logic respectively.
Estas álgebras proveen una semántica para las lógicas clásica e intuicionista respectivamente.

The Curry–Howard isomorphism between proofs and programs relates to proof theory, especially intuitionistic logic.
También el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son especialmente significativas.

Canonical formulas have provided a uniform way to formulate extensions of intuitionistic logic as well as modal logics.
Las fórmulas canónicas han proporcionado una forma uniforme de formular extensiones de la lógica intuicionista, así como de las lógicas modales.

It is based on type theory for intuitionistic logics.
Este forma es requisito para obtener métodos de cálculo para la lógica intuicionista.

Kripke models furnish a complete semantics for intuitionistic logic.
Los modelos de Kripke sirven de semántica completa para la lógica intuicionista.

Lewis, the many-valued logics initiated by Lukasiewicz and Post, the Intuitionist logics initiated by Brouwer.
Lewis, las lógicas plurivalentes iniciadas p o r Lukasiewicz y Post, las lógi cas intuicionistas iniciadas por Brouwer.

In intuitionistic logic, it is not true that every formula is logically equivalent to a prenex formula.
En lógica intuicionista no sucede que toda fórmula es lógicamente equivalente a una fórmula prenexa.

The text of this lecture (entitled 'In what sense is intuitionistic logic constructive?')
El texto de esta conferencia (titulada «¿En qué sentido es constructiva la lógica intuicionista?»

Intuitionistic logic is a commonly-used tool in developing approaches to constructivism in mathematics.
La lógica intuicionista es una de las maneras de abordad el Constructivismo en matemáticas.

The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.
El álgebra de Lindenbaum de la lógica intuicionista proposicional es un álgebra de Heyting.

For instance, Gödel showed that all theorems from intuitionistic logic have an equivalent theorem in the classical modal logic S4.
Por ejemplo, Gödel demostró que todos los teoremas de la lógica intuicionista tienen un teorema equivalente al S4 de la lógica modal clásica.

He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.

Double negative elimination is a theorem of classical logic, but not of weaker logics such as intuitionistic logic and minimal logic.
La eliminación de la doble negación es un teorema de la lógica clásica, pero no de la lógica más débil, como la lógica intuicionista y la lógica mínima.

Both conjunction and disjunction are associative, commutative and idempotent in classical logic, most varieties of many-valued logic and intuitionistic logic.
En la lógica clásica, tanto la conjunción y la disyunción son asociativas, conmutativas e idempotentes, en la mayoría de las variedades de lógica multi-valuada y la lógica intuicionista.

For example, in most systems of logic (but not in intuitionistic logic) Peirce's law (((P→Q)→P)→P) is a theorem.
Por ejemplo, en la mayoría de los sistemas en la lógica, la ley de Peirce, (((P→Q)→P)→P) es un teorema.

Similarly, one can obtain calculi for dual-intuitionistic logic (a type of paraconsistent logic) by requiring that sequents be singular in the antecedent.
Del mismo modo, se pueden obtener los métodos de cálculo para la lógica intuicionista dual, que es una tipo de lógica paraconsistente, exigiendo que los consecuentes tengan una fórmula en el antecedente.

Consequently intuitionistic logic is privileged over classical logic, when it comes to disputation concerning phenomena whose objective existence is a matter of controversy.
Por consecuencia, la lógica de intuición se privilegia por encima de la lógica clásica, cuando se habla de la discusión entre fenómenos cuya existencia objetiva sea controvertida.

While these ideas work in both classical and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false.
Mientras estas ideas funcionan tanto en la lógica clásica como en la instuicionista, no funcionan en la lógica paraconsistente, donde las contradicciones no son necesariamente falsas.