E-LIB Suche - Ergebnisse für: Venturi, Giorgio

1

Ecumenical Propositional Tableau:

Leme, Renato ; Coniglio, Marcelo ; Lopes, Bruno.
Studia Logica. , 2024

Link: https://doi.org/10.1007/..

2

A Logic of Isolation:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Başkent, Can ; Gilbert, David ; Venturi, Giorgio - p. 36-46 , 2024

Link: https://doi.org/10.1007/..

3

Modelling Afthairetic Modality:

Venturi, Giorgio ; Yago, Pedro
Journal of Philosophical Logic. 53 (2024) 4 - p. 1027-1065 , 2024

Link: https://doi.org/10.1007/..

4

Formal Ontology and Mathematics. A Case Study on the Identi..:

Bianchetti, Matteo ; Venturi, Giorgio
Topoi. 42 (2023) 1 - p. 307-321 , 2023

Link: https://doi.org/10.1007/..

5

WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLE:

VENTURI, GIORGIO ; VIALE, MATTEO
The Review of Symbolic Logic. 17 (2023) 2 - p. 546-585 , 2023

Link: https://doi.org/10.1017/..

6

How to make (mathematical) assertions with directives:

Caponetto, Laura ; San Mauro, Luca ; Venturi, Giorgio
Synthese. 202 (2023) 5 - p. , 2023

Link: https://doi.org/10.1007/..

7

Axioms and Postulates as Speech Acts:

Schmidt, João Vitor ; Venturi, Giorgio
Erkenntnis. , 2023

Link: https://doi.org/10.1007/..

8

Second order arithmetic as the model companion of set theor:

Venturi, Giorgio ; Viale, Matteo
Archive for Mathematical Logic. 62 (2022) 1-2 - p. 29-53 , 2022

Link: https://doi.org/10.1007/..

9

Fine's Postulationism, Objectivity, and Mathematical Creati..:

Venturi, Giorgio ; Schmidt, João Vitor
L'objectivité en mathématiques / Objectivity in mathematics; Noesis. 38 (2022) - p. 123-137 , 2022

Link: https://doi.org/10.4000/..

10

Many-Valued Logics and Bivalent Modalities:

Bezerra, Edson ; Venturi, Giorgio
Logic and Logical Philosophy. , 2022

Link: https://doi.org/10.12775..

11

Ideal Objects for Set Theory:

Jockwich, Santiago ; Tarafder, Sourav ; Venturi, Giorgio
Journal of Philosophical Logic. 51 (2022) 3 - p. 583-602 , 2022

Link: https://doi.org/10.1007/..

12

Logics of Ignorance and Being Wrong:

Gilbert, David ; Kubyshkina, Ekaterina ; Petrolo, Mattia.
Logic Journal of the IGPL. 30 (2021) 5 - p. 870-885 , 2021

Link: https://doi.org/10.1093/..

13

INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES:

TARAFDER, SOURAV ; VENTURI, GIORGIO
The Review of Symbolic Logic. 16 (2021) 4 - p. 979-1010 , 2021

Link: https://doi.org/10.1017/..

14

$$\mathrm {ZF}$$ Between Classicality and Non-classicality:

Tarafder, Sourav ; Venturi, Giorgio
Studia Logica. 110 (2021) 1 - p. 189-218 , 2021

Link: https://doi.org/10.1007/..

15

Thin Objects Are Not Transparent:

Plebani, Matteo ; San Mauro, Luca ; Venturi, Giorgio
Theoria. 89 (2021) 3 - p. 314-325 , 2021

Link: https://doi.org/10.1111/..