Search Results - "Intuitionistic mathematics"

A PROOF-THEORETIC INTERPOLATION THEOREM FOR INQUISITIVE PROPOSITIONAL LOGIC.

Authors: Fjellstad, Andreas¹ afjellstad@gmail.com

Source: Bulletin of the Section of Logic. Mar2026, Vol. 55 Issue 1, p49-70. 22p.

Proof Theory for Intuitionistic Stable Theories.

Authors: Maffezioli, Paolo¹ pmaffezi@ucm.es

Source: Logic & Logical Philosophy. Mar2026, Vol. 35 Issue 1, p29-47. 19p.

Filter Theory in Pre-Ordered Residuated Systems Using Intuitionistic Fuzzy Points.

Authors: Ali Öztürk, Mehmet Yılmaz, Damla Bae Jun, Young

Source: New Mathematics & Natural Computation. Mar2026, Vol. 22 Issue 1, p251-269. 19p.

On Intuitionistic Gem Sets and Intuitionistic Turing Points.

Authors: Rose Venish, A. G. Vidyarani, L. Salleh, Zabidhin

Source: Momona Ethiopian Journal of Science. 2026, Vol. 18 Issue 1, p25-35. 11p.

Intuitionistic set and its relations.

Authors: Nithun, Nasrin Ifnath Trisha, Tahmina Tasnim Hossain, Md. Sahadat et al.

Source: Journal of the Bangladesh Academy of Sciences. Dec2025, Vol. 49 Issue 2, p287-293. 7p.

A new categorical equivalence for stone algebras.

Authors: Calomino, Ismael Pelaitay, Gustavo

Source: Mathematica Slovaca. Dec2025, Vol. 75 Issue 6, p1275-1292. 18p.

Two decades of non-classical mathematics: introduction to the special issue.

Authors: Běhounek, Libor Ferguson, Thomas

Source: Logic Journal of the IGPL. Jun2026, Vol. 34 Issue 3, p1-4. 4p.

Intuitionistic monotone modal logic via translation.

Authors: Groot, Jim de¹ (AUTHOR)

Source: Journal of Logic & Computation. Jun2026, Vol. 36 Issue 4, p1-39. 39p.

Subjects: Modal logic, Intuitionistic mathematics, First-order logic, Axioms, Kripke semantics

Intuitionistic fuzzy Sombor indices: A novel approach for improving the performance of vaccination centers.

Authors: Jamil, Muhammad Kamran Anwar, Shabana Azeem, Muhammad et al.

Source: Communications in Combinatorics & Optimization. Sep2025, Vol. 10 Issue 3, p563-593. 31p.

What Absurdity Is Not in Natural Deduction: Structural Approach and the Empty Set.

Authors: Pezlar, Ivo¹, pezlar@flu.cas.cz

Source: Topoi: An International Review of Philosophy; May2026, Vol. 45 Issue 2, p627-641, 15p

£ukasiewicz Intuitionistic Fuzzy Filters in Hoops and its Application in Medical Diagnosis.

Authors: Abirami, N. Jansirani, M. Mary

Source: International Journal of Neutrosophic Science (IJNS). 2025, Vol. 26 Issue 2, p229-240. 12p.

A note on the axiom of choice in an iterative paraconsistent set theory.

Authors: Jockwich, Santiago Tarafder, Sourav Venturi, Giorgio

Source: Logic Journal of the IGPL; Jun2026, Vol. 34 Issue 3, p1-13, 13p

On the Σ10-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis.

Authors: Fujiwara, Makoto¹, makotofujiwara@rs.tus.ac.jp

Source: Archive for Mathematical Logic; Jun2026, Vol. 65 Issue 5, p675-690, 16p

Grounding conditionals.

Authors: Litland, Jon Erling^1,2 (AUTHOR) jon.litland@austin.utexas.edu

Source: Philosophical Studies. May2026, Vol. 183 Issue 5, p1217-1249. 33p.

Some result for intuitionistic i-open set.

Authors: Atiyah, Senia Salim Mousa, Hiba O.

Source: AIP Conference Proceedings. 2026, Vol. 3393 Issue 1, p1-6. 6p.

Intuitionistic Logic from a Metainferential Perspective.

Authors: Lisboa, Miguel Álvarez¹, miguel.alvarez@um.uchile.cl

Source: Logic & Logical Philosophy; Mar2026, Vol. 35 Issue 1, p49-81, 33p

UNKNOWABLE TRUTHS.

Authors: GOODSELL, ZACHARY HAWTHORNE, JOHN YLI-VAKKURI, JUHANI

Source: Journal of Philosophy; Feb2026, Vol. 123 Issue 2, p77-101, 25p

Recognition Principle for Course Allocations in Higher Institutions based on Intuitionistic Fuzzy Correlation Coefficient.

Authors: Ejegwa, Paul Augustine Onyeke, Idoko Charles Adah, Victoria

Source: Journal of Fuzzy Extension & Applications (JFEA). Mar2025, Vol. 6 Issue 1, p94-108. 15p.

Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Authors: Shapiro, Stewart McCarty, Charles Rathjen, Michael

Source: Archive for Mathematical Logic; Feb2025, Vol. 64 Issue 1, p79-105, 27p

The Fan Theorem, its strong negation, and the determinacy of games: The Fan Theorem, its strong negation...: W. Veldman.

Authors: Veldman, Wim¹, Wim.Veldman@ru.nl

Source: Archive for Mathematical Logic; Feb2025, Vol. 64 Issue 1, p1-66, 66p