F. Genco

activity

20172025

most citedMīmā\d{m}sā deontic logic: proof theory and applications

9 citations · 9 across the 3 of their papers we have counts for

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2025

A Direct Characterisation of Logical Grounds and a Decidability Proof

Francesco A. Genco

We present a standard calculus for logical grounding based on well-established grounding principles [Schnieder, 2011, Fine, 2012, Correia, 2014, Correia, 2024] and provide a very d…

math.LO2018

Hypersequents and Systems of Rules: Embeddings and Applications

Agata Ciabattoni, Francesco A. Genco

We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same…

math.LO2018

Disjunctive Axioms and Concurrent $λ$ -Calculi: a Curry-Howard Approach

F. Aschieri, A. Ciabattoni, F. A. Genco

We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $λ$ -calculi; each of them featu…

A Direct Characterisation of Logical Grounds and a Decidability Proof

Hypersequents and Systems of Rules: Embeddings and Applications

Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach

Disjunctive Axioms and Concurrent $λ$ -Calculi: a Curry-Howard Approach