VENTURI, GIORGIO Statistiche
VENTURI, GIORGIO
DIPARTIMENTO DI CIVILTA' E FORME DEL SAPERE
Modelling Afthairetic Modality
2024-01-01 Venturi, Giorgio; Yago, Pedro
ZF and its interpretations
2024-01-01 Jockwich Martinez, S.; Tarafder, S.; Venturi, G.
Axioms and Postulates as Speech Acts
2023-01-01 Schmidt, Jv; Venturi, G
Formal Ontology and Mathematics. A Case Study on the Identity of Proofs
2023-01-01 Bianchetti, M.; Venturi, G.
How to make (mathematical) assertions with directives
2023-01-01 Caponetto, L.; San Mauro, L.; Venturi, G.
Second order arithmetic as the model companion of set theory
2023-01-01 Venturi, G; Viale, M
What model companionship can say about the continuum problem
2023-01-01 Venturi, Giorgio; Viale, Matteo
Fine's Postulationism, objectivity, and mathematical creation
2022-01-01 Schmidt, J; Venturi, G
Ideal objects for set theory
2022-01-01 Jockwich, S; Tarafder, S; Venturi, G
Many-valued logics and Suszkian modalities
2022-01-01 Bezerra, E; Venturi, G
ZF between classicality and non-classicality
2022-01-01 Tarafder, S; Venturi, G
A non-standard Kripke semantics for the minimal deontic logic
2021-01-01 Bezerra, E; Venturi, G
Independence proofs in non-classical set theory
2021-01-01 Tarafder, S; Venturi, G
Logics of ignorance and being wrong
2021-01-01 Gilbert, D; Petrolo, M; Kubitchkina, E; Venturi, G
Non-classical models of ZF
2021-01-01 Jockwich, S; Venturi, G
On Negation for Non-classical Set Theories
2021-01-01 Santiago, Jockwich; Venturi, G
Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness
2021-01-01 Gilbert, D; Venturi, G
Speech acts in mathematics
2021-01-01 Ruffino, M; San Mauro, Luca; Venturi, G
Squeezing arguments and the plurality of informal notions
2021-01-01 Bezerra, E; Venturi, G
Tableaux for essence and contingency
2021-01-01 Venturi, G; Yago, P