Giorgio Venturi

According to our database, Giorgio Venturi authored at least 20 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Independence Proofs in non-Classical Set Theories.

Sourav Tarafder, Giorgio Venturi

Rev. Symb. Log., December, 2023

Second order arithmetic as the model companion of set theory.

Giorgio Venturi, Matteo Viale

Arch. Math. Log., 2023

2022

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

Sourav Tarafder, Giorgio Venturi

Stud Logica, 2022

Ideal Objects for Set Theory.

Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi

J. Philos. Log., 2022

Logics of Ignorance and Being Wrong.

David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi

Log. J. IGPL, 2022

2021

Speech acts in mathematics.

Marco Ruffino, Luca San Mauro, Giorgio Venturi

Synth., 2021

Non-classical Models of ZF.

Santiago Jockwich Martinez, Giorgio Venturi

Stud Logica, 2021

Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness.

David R. Gilbert, Giorgio Venturi

Notre Dame J. Formal Log., 2021

On Negation for Non-classical Set Theories.

Santiago Jockwich Martinez, Giorgio Venturi

J. Philos. Log., 2021

Tableaux for essence and contingency.

Giorgio Venturi, Pedro Teixeira Yago

Log. J. IGPL, 2021

Squeezing Arguments and the Plurality of Informal Notions.

Edson Bezerra, Giorgio Venturi

FLAP, 2021

2020

Infinite Forcing and the Generic Multiverse.

Giorgio Venturi

Stud Logica, 2020

A note on logics of essence and accident.

David R. Gilbert, Giorgio Venturi

Log. J. IGPL, 2020

2017

A direct proof of the five element basis theorem.

Boban Velickovic, Giorgio Venturi

Math. Log. Q., 2017

2016

Reflexive-Insensitive Modal Logics.

David R. Gilbert, Giorgio Venturi

Rev. Symb. Log., 2016

Preservation of Suslin Trees and Side conditions.

Giorgio Venturi

J. Symb. Log., 2016

2011

User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners.

Nik Bessis, Peter Norrington, Fatos Xhafa, Giorgio Venturi

Proceedings of the Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding, 2011

2006

People, Organizations, and Processes: An Inquiry into the Adoption of User-Centered Design in Industry.

Giorgio Venturi, Jimmy Troost, Timo Jokela

Int. J. Hum. Comput. Interact., 2006

User-centred evaluation of an e-learning repository.

Giorgio Venturi, Nik Bessis

Proceedings of the 4th Nordic Conference on Human-Computer Interaction 2006, Oslo, 2006

2004

Survey on the UCD integration in the industry.

Giorgio Venturi, Jimmy Troost

Proceedings of the Third Nordic Conference on Human-Computer Interaction 2004, 2004