Image de couverture de livre

Two versions of minimal intuitionism with the CAP. A note

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gemma ROBLES
Format:	Artículo científico
Langue:	en
Publié:	Universidad del País Vasco/Euskal Herriko Unibertsitatea 2005
Sujets:	Filosofía Contraction Axiom Intuitionistic logic Constructive Falsity Converse Ackermann Property
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
par: Nymion
Publié: (2025)

Constructive Ethics Based on Proof - Layer 2: The Epistemic Overlay Reasoning Under Uncertainty in a Constructive Ethical System
par: Nymion
Publié: (2025)

Public Library Buildings in 1979.
par: Nyren, Karl, et autres
Publié: (1979)

Academic Library Buildings in 1979.
par: Nyren, Karl, et autres
Publié: (1979)

PFUSRC 55.0: Ultimate Universal Unified Theory
par: Wang, Zhenmin
Publié: (2026)

Inquisitive Logic
par: Ciardelli, Ivano
Publié: (2023)

Normalization by second order graphs: A visual alternative to simplify systems
par: Edward Muñoz Garro
Publié: (2021)

Found Space in a Courtyard
par: Curley, Kenneth
Publié: (1974)

Is Szabolcsi's Logic a Fuzzy Logic?
par: J.-Martín Castro-Manzano
Publié: (2025)

WP 6.1 Whitepaper — EPTI Axioms for Educational Performance Tension
par: Huang, Jim Yongzhi
Publié: (2025)

Rethinking Kantian Apriority: Necessity And Reason
par: Jamil, Sikander
Publié: (2023)

Countdown to a New Library: Managing the Building Project.
par: Woodward, Jeannette
Publié: (2000)

Fashion Your New Library from Old.
par: Burgin, William R.
Publié: (1997)

Automated Reasoning
Publié: (2024)

Automated Reasoning
Publié: (2024)

Selected References.
par: Allen, Walter C.
Publié: (1987)

El octágono medieval de Oposición para oraciones con predicados cuantificados
par: Juan Manuel Campos Benítez
Publié: (2013)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
par: Lucas Rosemblatt
Publié: (2012)

WHY WAS ALCHOURRÓN AFRAID OF SNAKES?
par: JULIANO S. A. MARANHÃO
Publié: (2006)

RESPECTING RELEVANCE IN BELIEF CHANGE
par: DAVID MAKINSON
Publié: (2006)

NORMS, NORMATIVE UTTERANCES, AND NORMATIVE PROPOSITIONS
par: RISTO HILPINEN
Publié: (2006)

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
par: Miguel López-Astorga
Publié: (2016)

An a-Proteobacterium Converts Linear Alkylbenzenesulfonate Surfactants into Sulfophenylcarboxylates and Linear Alkyldiphenyletherdisulfonate Surfactants into Sulfodiphenylethercarboxylates
par: Schleheck D., Dong W., † Denger K., Heinzle E. and Cook Alasdair M
Publié: (2000)

Woodin Cardinals and the Consistency Strength of the Proper Forcing Axiom relative to Supercompactness
par: Revista, Zen, et autres
Publié: (2026)

Paper 34 — Generative Law: Axiom of Law for Emergence of Stable Laws
par: Zabihi, Mortaza
Publié: (2025)

GUIDELINES FOR REALISTIC FACILITY PLANNING FOR SCHOOLS OF VOCATIONAL, TECHNICAL, AND ADULT EDUCATION.
Publié: (1964)

Historical Tides, Temporal Causality ——A Recursive View of History Based on the Zhu--Liang Holism Axiomatic System
par: Zhu, Jianbing
Publié: (2026)

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
par: J. Martín Castro-Manzano
Publié: (2017)

EL CUADRADO DE OPOSICIÓN COMO INSTRUMENTO DE LA LÓGICA : SU USO Y APLICACIONES EN TOMÁS DE MERCADO
par: Juan Manuel Campos Benítez
Publié: (2008)

Fake News im Mittelalter?
Publié: (2026)

retracted
par: Fathi, Kevin
Publié: (2025)

Edith Stein, Patron of Europe. Meditation on Philosophy as Testimony
par: Mátyás Szalay
Publié: (2014)

The market for scientific lemons, and the marketization of science
par: Jesús Zamora Bonilla
Publié: (2019)

YOUNG CHILDREN DISCUSS CONFLICT
par: David Kennedy
Publié: (2006)

Justification, conversation, and folk psychology
par: Víctor Fernández Castro
Publié: (2019)

From Division by Zero to Conscious Co-Piloting
par: BELABBACI, Mohammed
Publié: (2025)

The Birth of the Zhu-Liang System: Necessary Laws and Environment
par: Zhu, Jianbing
Publié: (2026)

Inferences Between Buridan’s Modal Propositions
par: Jonas Dagys
Publié: (2022)

ANTI-REALISM AND INFINITARY PROOFS
par: Diego Tajer
Publié: (2012)

Acerca del carácter metafísico de la Lógica de Hegel
par: Andrés F. Parra
Publié: (2021)