Works matching DE "CONSTRUCTIVE mathematics"

Results: 440

An Indian solution to ‘incompleteness’.

Published in:

AI & Society, 2009, v. 24, n. 4, p. 351, doi. 10.1007/s00146-009-0209-2

By:

Kumar, U. A. Vinaya

Publication type:

Article

Generalized Baumslag-Solitar Graphs with Soluble Fundamental Groups.

Published in:

Algebra Colloquium, 2014, v. 21, n. 1, p. 53, doi. 10.1142/S1005386714000030

By:

Delgado, Alberto L.;
Robinson, Derek J. S.;
Timm, Mathew

Publication type:

Article

On Constructive Recognition of Finite Simple Groups by Element Orders.

Published in:

Algebra & Logic, 2014, v. 53, n. 4, p. 349, doi. 10.1007/s10469-014-9294-5

By:

Buturlakin, A.;
Vasil'ev, A.

Publication type:

Article

Fixed points for the jump operator.

Published in:

Algebra & Logic, 2011, v. 50, n. 5, p. 418, doi. 10.1007/s10469-011-9153-6

By:

Puzarenko, V.

Publication type:

Article

Descriptive properties on admissible sets.

Published in:

Algebra & Logic, 2010, v. 49, n. 2, p. 160, doi. 10.1007/s10469-010-9087-4

By:

Puzarenko, V. G.

Publication type:

Article

Table admissible inference rules.

Published in:

Algebra & Logic, 2009, v. 48, n. 3, p. 228, doi. 10.1007/s10469-009-9055-z

By:

Rimatskii, V.

Publication type:

Article

Intuitionistic Fuzzy R<sub>0</sub> Bitopological Space: An In-depth Exploration.

Published in:

Ganit: Journal of Bangladesh Mathematical Society, 2024, v. 44, n. 1, p. 23, doi. 10.3329/ganit.v44i1.71860.

By:

Miah, Saikh Shahjahan;
Jumur, Badrun Naher

Publication type:

Article

STRONGLY EXTENSIONAL HOMOMORPHISM OF IMPLICATIVE SEMIGROUPS WITH APARTNESS.

Published in:

Sarajevo Journal of Mathematics, 2017, v. 13, n. 2, p. 155, doi. 10.5644/SJM.13.2.03

By:

ROMANO, DANIEL ABRAHAM

Publication type:

Article

THE DERIVATOR OF SETOIDS.

Published in:

Cahiers de Topologie et Geometrie Differentielle Categoriques, 2023, v. 64, n. 1, p. 29

By:

Shulman, Michael

Publication type:

Article

A LOGICAL ANALYSIS OF FIXPOINT THEOREMS.

Published in:

Cahiers de Topologie et Geometrie Differentielle Categoriques, 2023, v. 64, n. 1, p. 97

By:

BENKHADRA, Arij;
STUBBE, Isar

Publication type:

Article

A constructive proof by elementary transformations of Roth's removal theorems in the theory of....

Published in:

International Journal of Mathematical Education in Science & Technology, 2000, v. 31, n. 3, p. 425, doi. 10.1080/002073900287183

By:

Ward, A.J.B.;
Gerrish, F.

Publication type:

Article

Deux Mathématiques.

Published in:

Al-Mukhatabat, 2024, n. 52, p. 121

By:

EL-AMAMI, Saeb

Publication type:

Article

Irreducible compositions of degree two polynomials over finite fields have regular structure.

Published in:

Quarterly Journal of Mathematics, 2018, v. 69, n. 3, p. 1089, doi. 10.1093/qmath/hay015

By:

Ferraguti, Andrea;
Micheli, Giacomo;
Schnyder, Reto

Publication type:

Article

A new characterization of computable functions.

Published in:

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2013, v. 21, n. 3, p. 289, doi. 10.2478/auom-2013-0059

By:

Tyszka, Apoloniusz

Publication type:

Article

The Constructive Mathematics of A. A. Markov.

Published in:

American Mathematical Monthly, 2006, v. 113, n. 6, p. 559, doi. 10.2307/27641983

By:

Kushner, Boris A.

Publication type:

Article

Constructivism Is Difficult.

Published in:

American Mathematical Monthly, 2001, v. 108, n. 1, p. 50, doi. 10.1080/00029890.2001.11919720

By:

Schechter, Eric

Publication type:

Article

FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 4, p. 810, doi. 10.1017/S1755020319000431

By:

PIAZZA, MARIO;
PULCINI, GABRIELE

Publication type:

Article

A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 4, p. 679, doi. 10.1017/S1755020312000160

By:

ARDESHIR, MOHAMMAD;
RAMEZANIAN, RASOUL

Publication type:

Article

On the Existence of Infinite Size Costas Arrays Configurations of Nonattacking Queens on the Chessboard.

Published in:

International Journal of Combinatorics, 2010, v. 2010, p. 1, doi. 10.1155/2010/897196

By:

Drakakis, Konstantinos

Publication type:

Article

THREE COUNTEREXAMPLES TO DISPEL THE MYTH OF THE UNIVERSAL COMPUTER.

Published in:

Parallel Processing Letters, 2006, v. 16, n. 3, p. 381, doi. 10.1142/S012962640600271X

By:

Akl, Selim G.

Publication type:

Article

White Noise Approach to The Construction of $$ \phi ^{4}_{4} $$ Quantum Fields (II).

Published in:

Acta Mathematica Sinica, 2007, v. 23, n. 5, p. 895, doi. 10.1007/s10114-005-0817-9

By:

Rang, Guang Lin;
Huang, Zhi Yuan

Publication type:

Article

Interval Valued Intuitionistic ( S, T)–fuzzy H <sub> v </sub>–submodules.

Published in:

Acta Mathematica Sinica, 2006, v. 22, n. 4, p. 963, doi. 10.1007/s10114-005-0699-x

By:

Jian Zhan;
Dudek, W.

Publication type:

Article

Constructive aspects of Riemann's permutation theorem for series.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 49, doi. 10.1093/jigpal/jzad024

By:

Berger, J;
Bridges, Douglas;
Diener, Hannes;
Schwichtenberg, Helmet

Publication type:

Article

Two direct proofs that LLPO implies the detachable fan theorem.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 830, doi. 10.1093/jigpal/jzt003

By:

Bridges, D. S.;
Dent, J. E.;
McKubre-Jordens, M. N.

Publication type:

Article

A first constructive look at the comparison of projections.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 14, doi. 10.1093/jigpal/jzs019

By:

Bridges, Douglas S.;
Vîţa, Luminiţa S.

Publication type:

Article

Lipschitz functions in constructive reverse mathematics.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 28, doi. 10.1093/jigpal/jzs020

By:

Loeb, Iris

Publication type:

Article

Constructive version of Boolean algebra.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 44, doi. 10.1093/jigpal/jzs021

By:

Ciraulo, Francesco;
Maietti, Maria Emilia;
Toto, Paola

Publication type:

Article

A generalized cut characterization of the fullness axiom in CZF.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 63, doi. 10.1093/jigpal/jzs022

By:

Crosilla, Laura;
Palmgren, Erik;
Schuster, Peter

Publication type:

Article

Double sequences, almost Cauchyness and BD-N.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 349, doi. 10.1093/jigpal/jzr045

By:

Berger, Josef;
Bridges, Douglas;
Palmgren, Erik

Publication type:

Article

Soundness and completeness of the Cirquent calculus system CL6 for computability logic.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 317

By:

Xu, Wenyan;
Liu, Sanyang

Publication type:

Article

Omniscience, sequential compactness, and the anti-Specker property.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 53, doi. 10.1093/jigpal/jzq001

By:

BRIDGES, DOUGLAS

Publication type:

Article

Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 2, p. 173, doi. 10.1093/jigpal/jzp002

By:

LOEB, IRIS

Publication type:

Article

Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 269, doi. 10.1093/jigpal/jzn006

By:

Loeb, Iris

Publication type:

Article

Independent Bases of Admissible Rules.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 249, doi. 10.1093/jigpal/jzn004

By:

JeŘábek, Emil

Publication type:

Article

Program Self-Reference in Constructive Scott Subdomains.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 22, doi. 10.1007/s00224-011-9372-1

By:

Case, John;
Moelius, Samuel

Publication type:

Article

Computing Space-Filling Curves.

Published in:

Theory of Computing Systems, 2012, v. 50, n. 2, p. 370, doi. 10.1007/s00224-010-9306-3

By:

Couch, P.;
Daniel, B.;
McNicholl, Timothy

Publication type:

Article

Covering Many or Few Points with Unit Disks.

Published in:

Theory of Computing Systems, 2009, v. 45, n. 3, p. 446, doi. 10.1007/s00224-008-9135-9

By:

de Berg, Mark;
Cabello, Sergio;
Har-Peled, Sariel

Publication type:

Article

Realizability interpretation of proofs in constructive analysis.

Published in:

Theory of Computing Systems, 2008, v. 43, n. 3/4, p. 583, doi. 10.1007/s00224-007-9027-4

By:

Schwichtenberg, Helmut

Publication type:

Article

Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.

Published in:

Theory of Computing Systems, 2008, v. 43, n. 2, p. 185, doi. 10.1007/s00224-007-9058-x

By:

Goris, Evan

Publication type:

Article

Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.

Published in:

Theory of Computing Systems, 2007, v. 40, n. 4, p. 127, doi. 10.1007/s00224-006-1342-7

By:

Niqui, Milad

Publication type:

Article

ON THE GENERALIZED MIRRORED SCHEME FOR DOUBLE ROUND ROBIN TOURNAMENTS IN SPORTS SCHEDULING.

Published in:

Asia-Pacific Journal of Operational Research, 2013, v. 30, n. 3, p. -1, doi. 10.1142/S0217595913400083

By:

ZENG, LISHUN;
MIZUNO, SHINJI

Publication type:

Article

ARROW-TYPE RESULTS UNDER INTUITIONISTIC FUZZY PREFERENCES.

Published in:

New Mathematics & Natural Computation, 2013, v. 9, n. 1, p. 97, doi. 10.1142/S1793005713500075

By:

NANA, GILBERT NJANPONG;
FONO, LOUIS AIME

Publication type:

Article

TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS.

Published in:

New Mathematics & Natural Computation, 2012, v. 8, n. 1, p. 5, doi. 10.1142/S1793005712400017

By:

VELUPILLAI, K. VELA

Publication type:

Article

ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS.

Published in:

New Mathematics & Natural Computation, 2012, v. 8, n. 1, p. 53, doi. 10.1142/S1793005712400029

By:

ROSSER JR., J. BARKLEY

Publication type:

Article

STRONG NEGATION IN THE THEORY OF COMPUTABLE FUNCTIONALS TCF.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(21)2025

By:

KÖPP, NILS;
PETRAKIS, IOSIF

Publication type:

Article

CONSTRUCTIVE MANY-ONE REDUCTION FROM THE HALTING PROBLEM TO SEMI-UNIFICATION (EXTENDED VERSION).

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 4, p. 1, doi. 10.46298/LMCS-19(4:22)2023

By:

DUDENHEFNER, ANDREJ

Publication type:

Article

ON SMALL TYPES IN UNIVALENT FOUNDATIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:8)2023

By:

TOM DE JONG;
ESCARDÓ, MARTÍN HÖTZEL

Publication type:

Article

INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:5)2022

By:

MAIETTI, MARIA EMILIA;
MASCHIO, SAMUELE;
RATHJEN, MICHAEL

Publication type:

Article

INSTANCE REDUCIBILITY AND WEIHRAUCH DEGREES.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:20)2022

By:

BAUER, ANDREJ

Publication type:

Article

DIRECT SPECTRA OF BISHOP SPACES AND THEIR LIMITS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:4)2021

By:

PETRAKIS, IOSIF

Publication type:

Article