Acknowledgements

Source: Logic Journal of the IGPL, Volume 13, Number 2, March 2005 , pp. 267-267(1)

Publisher: Oxford University Press

Keywords: Łukasiewicz's infinite-valued predicate logic, set theory, the comprehension principle, truth predicate, non-standard natural number

Document Type: Research article

DOI: http://dx.doi.org/10.1093/jigpal/jzi018

Publication date: 2005-03-01

• Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.

• In this: publication
• By this: publisher

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers