12 citations · 28 across the 6 of their papers we have counts for
11 papers
Automating Reasoning with Standpoint Logic via Nested Sequents
Tim S. Lyon, Lucía Gómez Álvarez
Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of div…
A Framework for Intuitionistic Grammar Logics
Tim S. Lyon
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionis…
Refining Labelled Systems for Modal and Constructive Logics with Applications
Tim Lyon
This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economi…
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Tim S. Lyon
We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their resp…
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Tim Lyon
This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first…
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents
Tim Lyon
This paper employs the linear nested sequent framework to design a new cut-free calculus LNIF for intuitionistic fuzzy logic--the first-order Gödel logic characterized by linear re…