Sciweavers

APAL
2007
83views more  APAL 2007»
13 years 3 months ago
On Feferman's operational set theory OST
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
Gerhard Jäger
BIRTHDAY
2005
Springer
13 years 9 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...