- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic ; day:30 ; month:10 ; year:2024 ; pages:1-33
Studia logica ; (30.10.2024), 1-33
- Urheber
-
Almeida Borges, Ana de
Joosten, Joost J.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-024-10152-y
- URN
-
urn:nbn:de:101:1-2501192108318.585962475496
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:23 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Almeida Borges, Ana de
- Joosten, Joost J.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Automating the logic synthesis of Arithmetic-Logic-Units
ON STRICTLY POSITIVE MEASURES AND STRICTLY CONVEX NORMS
Paradox, arithmetic and nontransitive logic
Design issues of arithmetic structures in adiabatic logic
New examples of manifolds with strictly positive curvature
iNALU: Improved Neural Arithmetic Logic Unit
A NExpTime-Complete Description Logic Strictly Contained in C²
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Provability logic: models within models in Peano Arithmetic
Existence of Strictly Positive Solutions for Sublinear Elliptic Problems in Bounded Domains
From arithmetic to metaphysics : a path through philosophical logic
Automating the logic synthesis of Arithmetic-Logic-Units
ON STRICTLY POSITIVE MEASURES AND STRICTLY CONVEX NORMS
Paradox, arithmetic and nontransitive logic
Design issues of arithmetic structures in adiabatic logic
New examples of manifolds with strictly positive curvature
iNALU: Improved Neural Arithmetic Logic Unit
A NExpTime-Complete Description Logic Strictly Contained in C²
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Provability logic: models within models in Peano Arithmetic
Existence of Strictly Positive Solutions for Sublinear Elliptic Problems in Bounded Domains
From arithmetic to metaphysics : a path through philosophical logic
Automating the logic synthesis of Arithmetic-Logic-Units
ON STRICTLY POSITIVE MEASURES AND STRICTLY CONVEX NORMS
Paradox, arithmetic and nontransitive logic
Design issues of arithmetic structures in adiabatic logic
New examples of manifolds with strictly positive curvature
iNALU: Improved Neural Arithmetic Logic Unit
A NExpTime-Complete Description Logic Strictly Contained in C²
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
Provability logic: models within models in Peano Arithmetic
Existence of Strictly Positive Solutions for Sublinear Elliptic Problems in Bounded Domains