Search results for "Hypersequents"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Agata Ciabattoni, Christian G. Fermüller, George Metcalfe	Uniform Rules and Dialogue Games for Fuzzy Logics.	LPAR	2004	DBLP DOI BibTeX RDF
53	Christian G. Fermüller	Parallel Dialogue Games and Hypersequents for Intermediate Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
53	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Goal-Directed Calculli for Gödel-Dummett Logics.	CSL	2003	DBLP DOI BibTeX RDF	Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics
48	Didier Galmiche, Yakoub Salhi	Labelled Calculi for Lukasiewicz Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
29	Anupam Das 0002, Marianna Girlando	Cyclic Proofs, Hypersequents, and Transitive Closure Logic.	CoRR	2022	DBLP DOI BibTeX RDF
29	Anupam Das 0002, Marianna Girlando	Cyclic Proofs, Hypersequents, and Transitive Closure Logic.	IJCAR	2022	DBLP DOI BibTeX RDF
29	Agata Ciabattoni, Nicola Olivetti, Xavier Parent	Dyadic Obligations: Proofs and Countermodels via Hypersequents.	PRIMA	2022	DBLP DOI BibTeX RDF
29	Annemarie Borg, Christian Straßer, Ofer Arieli	A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.	Stud Logica	2021	DBLP DOI BibTeX RDF
29	Iris van der Giessen, Raheleh Jalali, Roman Kuznets	Uniform interpolation via nested sequents and hypersequents.	CoRR	2021	DBLP BibTeX RDF
29	Agata Ciabattoni, Timo Lang, Revantha Ramanayake	Bounded Sequent Calculi for Non-classical Logics via Hypersequents.	TABLEAUX	2019	DBLP DOI BibTeX RDF
29	Agata Ciabattoni, Francesco A. Genco	Hypersequents and Systems of Rules: Embeddings and Applications.	ACM Trans. Comput. Log.	2018	DBLP DOI BibTeX RDF
29	Samara Burns, Richard Zach	Relational Hypersequents for Modal Logics.	CoRR	2018	DBLP BibTeX RDF
29	Agata Ciabattoni	Intermediate Logics: From Hypersequents to Concurrent Computation.	Advances in Modal Logic	2018	DBLP BibTeX RDF
29	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	Algebraic proof theory: Hypersequents and hypercompletions.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
29	Roman Kuznets, Björn Lellmann	Grafting hypersequents onto nested sequents.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
29	Agata Ciabattoni, Francesco A. Genco	Embedding formalisms: hypersequents and two-level systems of rule.	Advances in Modal Logic	2016	DBLP BibTeX RDF
29	Roman Kuznets, Björn Lellmann	Grafting Hypersequents onto Nested Sequents.	CoRR	2015	DBLP BibTeX RDF
29	Björn Lellmann	Linear Nested Sequents, 2-Sequents and Hypersequents.	TABLEAUX	2015	DBLP DOI BibTeX RDF
29	Nick Bezhanishvili, Silvio Ghilardi	Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.	Advances in Modal Logic	2014	DBLP BibTeX RDF
29	Francesca Poggiolesi	From Single Agent to Multi-Agent via Hypersequents.	Logica Universalis	2013	DBLP DOI BibTeX RDF
29	Hidenori Kurokawa	Tableaux and hypersequents for justification logics.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
29	Rajeev Goré, Revantha Ramanayake	Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.	Advances in Modal Logic	2012	DBLP BibTeX RDF
29	Robert Rothenberg	Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics	CoRR	2011	DBLP BibTeX RDF
29	Francesca Poggiolesi	The Method of Tree-Hypersequents for Modal Propositional Logic.	Towards Mathematical Philosophy	2009	DBLP DOI BibTeX RDF
29	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
29	Agata Ciabattoni, Christian G. Fermüller	Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.	ISMVL	2001	DBLP DOI BibTeX RDF
29	Heinrich Wansing	Translation of Hypersequents into Display Sequents.	Log. J. IGPL	1998	DBLP DOI BibTeX RDF
29	Arnon Avron	Hypersequents, logical consequence and intermediate logics for concurrency.	Ann. Math. Artif. Intell.	1991	DBLP DOI BibTeX RDF
29	Christian G. Fermüller, George Metcalfe	Giles's Game and the Proof Theory of Lukasiewicz Logic.	Stud Logica	2009	DBLP DOI BibTeX RDF	hypersequents, many-valued logics, dialogue games, ?ukasiewicz logic
29	Christian G. Fermüller	Dialogue Games for Many-Valued Logics - an Overview.	Stud Logica	2008	DBLP DOI BibTeX RDF	hypersequents, fuzzy logic, many-valued logic, dialogue games
29	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Sequent and hypersequent calculi for abelian and Łukasiewicz logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	? ukasiewicz logic, Abelian logic, Hypersequents, Sequents
24	Kai Brünnler, Lutz Straßburger	Modular Sequent Systems for Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
24	Simone Bova, Franco Montagna	Proof search in Hájek's basic logic.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	countermodel building, Fuzzy logic, automated deduction
24	Matthias Baaz, George Metcalfe	Proof Theory for First Order Lukasiewicz Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF