Explore: Dialéctica

In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic logic (Heyting arithmetic) into a finite type extension of primitive

De Dialectica (Latin for "On Dialectics" or "On Logical Reasoning") may refer to: De Dialectica (Augustine), a 387 work by Augustine of Hippo De Dialectica

[citation needed] Today, he is best known as the author of De inventione dialectica, the father of Northern European humanism and a zealous anti-scholastic

Dialectica is a quarterly philosophy journal founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. It was published by Blackwell between

I. An Overview of the Summulae de dialectica a detailed summary of the nine treatises of the Summulae de dialectica Buridan's Logical Works. II. The Treatise

Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva in her doctoral thesis, as a way

Praelectio de dialectica (1491), an introduction to Aristotelian logic; Lamia. Praelectio in Priora Aristotelis Analytica (1492); Dialectica (1493), an introduction

remarkable episode in Argentine literary history is the social and literarial dialectica between the so-called Florida group, named this way because its members

Dialectica rendalli is a moth of the family Gracillariidae. It is known from Jamaica, Puerto Rico and the Virgin Islands (Saint Croix and Saint Thomas)

Dialectica hedemanni is a moth of the family Gracillariidae. It is known from the Canary Islands and Madeira. The larvae feed on Lavatera acerifolia, Lavatera