Search

Search Results

Found 80 items.

What is Diagrammatic Reasoning in Mathematics?

Michał Sochański

567-581

2018-01-24
Ultraproduct for Quantum Structures

Morteza Moniri, Elahe Shirinkalam

157-171

2018-02-26
The Nature of Scientific Philosophy

Yaroslav Shramko

3-18

2019-07-12
Theory of Quantum Computation and Philosophy of Mathematics. Part II

Krzysztof Wójtowicz

173-193

2018-04-18
Set-theoretic mereology

Joel David Hamkins, Makoto Kikuchi

285-308

2016-05-16
Remarks on Stable Formulas in Intuitionistic Logic

Majid Alizadeh, Ali Bibak

209-222

2018-11-18
To found or not to found? That is the question!

Davide Bondoni

217–240

2014-12-01
Neighborhood Semantics for Basic and Intuitionistic Logic

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

339–355

2015-08-20
ω-Circularity of Yablo's Paradox

Ahmet Çevik

325-333

2019-08-30
The lattice of Belnapian modal logics: Special extensions and counterparts

Sergei P. Odintsov, Stanislav O. Speranski

3-33

2016-02-25
On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

2019-04-11
The New Logic of William van Orman Quine and Its Significance for the Development of Logic in Brazil

Julio Michael Stern

789-793

2019-05-24
On Displaying Negative Modalities

Sergey Drobyshevich

161-192

2017-07-28
Computation and Indispensability

Jeffrey Ketland

61-78

2020-06-28
A Formal Model of an Argumentative Dialogue in the Management of Emotions

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny, Krzysztof Rzeńca, Katarzyna Żukowska

471-490

2017-08-09
How effective indeed is present-day mathematics?

Athanassios Tzouvaras

131-153

2006-06-26
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Ahmad Karimi

753-765

2019-06-14
Free Definite Description Theory – Sequent Calculi and Cut Elimination

Andrzej Indrzejczak

505-539

2020-10-30
Category Theory and Set Theory as Theories about Complementary Types of Universals

David Ellerman

145-162

2016-08-05
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Alexander Steen, Christoph Benzmüller

535-554

2016-07-26
A Wittgensteinian philosophy of mathematics

Charles Sayward

129-144

2005-12-23

1 - 21 of 80 items 1 2 3 4 > >>