Results 241 to 250 of about 19,410 (290)

Translations and Prawitz’s Ecumenical System

open access: yesStudia Logica
Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between translations and the ecumenical perspective.
Valeria de Paiva   +2 more
exaly   +1 more source
Some of the next articles are maybe not open access.

Related searches:

Ecumenical Propositional Tableau

Studia Logica
The paper introduces the \textit{Ecumenical Propositional Tableau} (\(E_T\)), a tableau-based proof system for what the authors call ``ecumenical propositional logic'', a framework that combines both intuitionistic and classical reasoning. The notion of ecumenical systems originates from Dag Prawitz's proposal to develop proof systems that integrate ...
Renato Leme   +3 more
openaire   +1 more source

Ecumenism

2016
This chapter explores Anglican ecumenical engagement. After a brief historical survey of Anglican involvement in the global ecumenical movement, it focuses on the mostly bilateral ecumenical discussions which have taken place since the Second World War, considering relations between Anglicans and Old Catholics, Lutherans, Roman Catholics, Eastern ...
openaire   +1 more source

Ecumene

2003
Excursus sul concetto di ecumene con particolare riguardo alle odierne prospettive e ai fenomeni che tendono a modificare gli spazi geografici permanentemente abitati dagli uomini.
openaire   +1 more source

Home - About - Disclaimer - Privacy