On the weak Kleene scheme in Kripke's theory of truth

E-ISSN： 1943-5886|56|4|1452-1468

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.56, Iss.4, 1991-12, pp. : 1452-1468

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

Axiomatizing Kripke's theory of truth

The Journal of Symbolic Logic, Vol. 71, Iss. 2, 2006-06 ,pp. : 677-712

Cambridge University Press

Access to resources Recommend Favorite

The theory of the recursively enumerable weak truth-table degrees is undecidable

The Journal of Symbolic Logic, Vol. 57, Iss. 3, 1992-09 ,pp. : 864-874

Cambridge University Press

Access to resources Recommend Favorite

Foundation versus induction in Kripke-Platek set theory

The Journal of Symbolic Logic, Vol. 63, Iss. 4, 1998-12 ,pp. : 1399-1403

Cambridge University Press

Access to resources Recommend Favorite

Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices

The Journal of Symbolic Logic, Vol. 61, Iss. 3, 1996-09 ,pp. : 880-905

Cambridge University Press

Access to resources Recommend Favorite

Weak simplest normal truth functions

The Journal of Symbolic Logic, Vol. 20, Iss. 3, 1955-09 ,pp. : 232-234

Cambridge University Press

Access to resources Recommend Favorite