Andrea Cantini - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2020

A fixed point theory over stratified truthAndrea Cantini. mlq, 66(4):380-394, 2020. [doi]

2011

Extending constructive operational set theory by impredicative principlesAndrea Cantini. mlq, 57(3):299-322, 2011. [doi]

2009

Paradoxes, Self-Reference and Truth in the 20th CenturyAndrea Cantini. In Dov M. Gabbay, John Woods, editors, Logic from Russell to Church. Volume 5 of Handbook of the History of Logic, pages 875-1013, Elsevier, 2009. [doi]

2005

Remarks on applicative theoriesAndrea Cantini. APAL, 136(1-2):91-115, 2005. [doi]

2004

Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution ; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic , Cambridge Tracts in Theoretical Computer Science Volume 53Andrea Cantini, Valentin Goranko. sLogica, 76(1):135-142, 2004. [doi]

2003

The Undecidability of Grisin s Set TheoryAndrea Cantini. sLogica, 74(3):345-368, 2003.

The axiom of choice and combinatory logicAndrea Cantini. JSYML, 68(4):1091-1108, 2003. [doi]

2002

Polytime, combinatory logic and positive safe inductionAndrea Cantini. AML, 41(2):169-189, 2002. [doi]

2000

Feasible Operations and Applicative Theories Based on lambda-etaAndrea Cantini. mlq, 46(3):291-312, 2000. [doi]

1999

Uniform Inseparability in Explicit MathematicsAndrea Cantini, Pierluigi Minari. JSYML, 64(1):313-326, 1999.

Relating Quine s NF to Feferman s EMAndrea Cantini. sLogica, 62(2):141-162, 1999.

1996

Asymmetric Interpretations for Bounded TheoriesAndrea Cantini. mlq, 42:270-288, 1996.

Logical frameworks for truth and abstraction - an axiomatic studyAndrea Cantini. Volume 135 of Studies in logic and the foundations of mathematics, Elsevier, 1996.

1995

Levels of TruthAndrea Cantini. ndjfl, 36(2):185-213, 1995.

1993

Extending the First-Order Theory of Combinators with Self-Referential TruthAndrea Cantini. JSYML, 58(2):477-513, 1993.

1992

Levels of Implication and Type Free Theories of Classifications with Approximation OperatorAndrea Cantini. mlq, 38(1):107-141, 1992. [doi]

1991

A logic of abstraction related to finite constructive number classesAndrea Cantini. AML, 31(1):69-83, 1991. [doi]

1990

A Theory of Formal Truth Arithmetically Equivalent to ID::1::Andrea Cantini. JSYML, 55(1):244-259, 1990.

1989

Notes on Formal Theories of TruthAndrea Cantini. mlq, 35(2):97-130, 1989. [doi]

1988

Two Impredicative Theories of Properties and SetsAndrea Cantini. mlq, 34(5):403-420, 1988. [doi]

1986

On the Relation Between Choice and Comprehension Principles in Second Order ArithmeticAndrea Cantini. JSYML, 51(2):360-373, 1986.

1985

On Weak Theories of Sets and Classes which are Based on Strict ∏Andrea Cantini. mlq, 31(21-23):321-332, 1985. [doi]

Majorizing provably recursive functions in fragments of PAAndrea Cantini. AML, 25(1):21-31, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL