Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types

ISSN： 0039-7857

Source： Synthese, Vol.133, Iss.1-2, 2002-10, pp. : 107-129

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Tarski’s Theorem and the Extensionality of Truth

By Shapiro Stewart

Erkenntnis, Vol. 78, Iss. 5, 2013-10 ,pp. : 1197-1204

Springer Publishing Company

Access to resources Recommend Favorite

Connection-Driven Inductive Theorem Proving

By Kreitz C. Pientka B.

Studia Logica, Vol. 69, Iss. 2, 2001-11 ,pp. : 293-326

Springer Publishing Company

Access to resources Recommend Favorite

Iterative and fixed point common belief

By Heifetz A.

Journal of Philosophical Logic, Vol. 28, Iss. 1, 1999-02 ,pp. : 61-79

Springer Publishing Company

Access to resources Recommend Favorite

Computer-assisted human-oriented inductive theorem proving by descente infinie a manifesto

By Wirth Claus-Peter

Logic Journal of the IGPL, Vol. 20, Iss. 6, 2012-12 ,pp. : 1046-1063

Oxford University Press

Access to resources Recommend Favorite

Note on Some Fixed Point Constructions in Provability Logic

By Lindström Per

Journal of Philosophical Logic, Vol. 35, Iss. 3, 2006-06 ,pp. : 225-230

Springer Publishing Company

Access to resources Recommend Favorite