An Intuitionistic Definition of Classical Natural Numbers

Proceedings of the American Mathematical Society - United States
doi 10.1090/s0002-9939-1979-0545601-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)

Related search

Hybrid Realizability for Intuitionistic and Classical Choice

2016English

Bounds on Classical Ramsey Numbers.

English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

An Approach for Hotel Type Selection Based on the Single-Valued Intuitionistic Fuzzy Numbers

International Review
2019English

A Note on the Complexity of Classical and Intuitionistic Proofs

2015English

Natural Derivations for Priest, an Introduction to Non-Classical Logic

The Australasian Journal of Logic
2006English

Definition and World Resources of Natural Bitumens

1990English

Are the Natural Numbers Fundamentally Ordinals?

Philosophy and Phenomenological Research
PhilosophyPhilosophy of ScienceHistory
2018English

Quotient of Ideals of an Intuitionistic Fuzzy Lattice

Advances in Fuzzy Systems
ControlComputational MathematicsOptimizationSystems Engineering
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy