Completeness of temporal logics over infinite intervalsHANPIN WANG; QIWEN XU.Discrete applied mathematics. 2004, Vol 136, Num 1, pp 87-103, issn 0166-218X, 17 p.Article

Towards a descriptive set theory for domain-like structuresSELIVANOV, Victor L.Theoretical computer science. 2006, Vol 365, Num 3, pp 258-282, issn 0304-3975, 25 p.Conference Paper

Towards an algebraic theory of typed mobile processesYUXIN DENG; SANGIORGI, Davide.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 188-212, issn 0304-3975, 25 p.Conference Paper

Working with ARMs: complexity results on atomic representations of Herbrand modelsGOTTLOB, Georg; PICHLER, Reinhard.Information and computation (Print). 2001, Vol 165, Num 2, pp 183-207, issn 0890-5401Article

Connection methods in linear logic and proof nets constructionGALMICHE, D.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 231-272, issn 0304-3975Article

A note on implicators based on binary aggregation operators in interval-valued fuzzy set theoryLIU, Hua-Wen; WANG, Guo-Jun.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3231-3236, issn 0165-0114, 6 p.Article

Basic intuitionistic principles in fuzzy set theories and its extensions (A terminological debate on Atanassov IFS)CATTANEO, Gianpiero; CIUCCI, Davide.Fuzzy sets and systems. 2006, Vol 157, Num 24, pp 3198-3219, issn 0165-0114, 22 p.Article

Nominal logic, a first order theory of names and bindingPITTS, Andrew M.Information and computation (Print). 2003, Vol 186, Num 2, pp 165-193, issn 0890-5401, 29 p.Conference Paper

Proof finding algorithms for implicational logicsBUNDER, M. W.Theoretical computer science. 2000, Vol 232, Num 1-2, pp 165-186, issn 0304-3975Article

From fuzzy logic to fuzzy mathematics : A methodological manifestoBEHOUNEK, Libor; CINTULA, Petr.Fuzzy sets and systems. 2006, Vol 157, Num 5, pp 642-646, issn 0165-0114, 5 p.Article

Reasoning with power defaultsZHANG, Guo-Qiang; ROUNDS, William C.Theoretical computer science. 2004, Vol 323, Num 1-3, pp 321-350, issn 0304-3975, 30 p.Article

Consequences of an exotic definition for P = NPDA COSTA, N. C. A; DORIA, F. A.Applied mathematics and computation. 2003, Vol 145, Num 2-3, pp 655-665, issn 0096-3003, 11 p.Article

Interaction nets for linear logicMACKIE, Ian.Theoretical computer science. 2000, Vol 247, Num 1-2, pp 83-140, issn 0304-3975Article

Logique et fondements des mathématiquesGauthier, Yvon.Concepts. 1997, isbn 2-84134-040-6, II, 174 p, isbn 2-84134-040-6Book

Invariants, boolean algebras and ACA⁺0SHORE, Richard A.Transactions of the American Mathematical Society. 2006, Vol 358, Num 3, pp 989-1014, issn 0002-9947, 26 p.Article

Complexity of categorical theories with computable modelsGONCHAROV, S. S. S; KHUSAINOV, B. Kh.Doklady. Mathematics. 2002, Vol 66, Num 1, pp 52-54, issn 1064-5624Article

Cercles vicieux, mathématiques et formalisations logiques = Vicious circles, mathematics and logicLONGO, Giuseppe.Mathématiques et sciences humaines (2000). 2000, Num 152, pp 5-26, issn 0987-6936Article

Le canon des Écritures : Vers la fin d'une fausse question ? : Le Canon Des Ecritures = Canon of Scripture: towards the end of a false question? : Canon of ScriptureBURNET, Régis.Communio (Paris). 2012, Vol 37, Num 3, issn 0338-781X, 3, 5-16 [13 p.]Article

Quaerere Deum: Joseph Ratzingers Plädoyer für die Unabdingbarkeit der WahrheitsfrageMENKE, Karl-Heinz.Theologie und Glaube. 2010, Vol 100, Num 2, pp 133-148, issn 0049-366X, 16 p.Article

La dimensione apologetica della Teologia fondamentale : una riflessione sul ruolo dei Praeambula FideiTANZELLA-NITTI, Giuseppe.Annales theologici. 2007, Vol 21, Num 1, pp 11-59, issn 0394-8226, 49 p.Article

Researching theological normativity : Some critical and constructive suggestionsHENRIKSEN, Jan-Olav.Studia theologica. 2006, Vol 60, Num 2, pp 207-220, issn 0039-338X, 14 p.Article

The nature of the hypostatic unionLAMONT, John.Heythrop journal. 2006, Vol 47, Num 1, pp 16-25, issn 0018-1196, 10 p.Article

La cittadinanza, luogo di testimonianza cristiana : Che Cosa di puo sperare? II IV convegno della Chiesa italiana: come e dove testimoniaire la sperenza cristiana? = The citizenship, place of christian witnessPIANA, Giannino.Rivista di teologia morale. 2006, Vol 38, Num 151, pp 353-358, issn 0391-0946, 6 p.Article

Pour une théologie de l'EvolutionEUVE, Francois.Etudes (1945). 2006, Vol 404, Num 3, issn 0014-1941, 339-350, 1 [13 p.]Article

Hoffnung auf das Wort : Eine Meditation zur Einführung in die Lehre von den letzten DingenVON LüPKE, Johannes.Neue Zeitschrift für systematische Theologie und Religionsphilosophie. 2005, Vol 47, Num 3, pp 323-337, issn 0028-3517, 15 p.Article