Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

ग्रंथसूची विवरण
मुख्य लेखकों:	Tiu, A, Ianovski, E, Goré, R
स्वरूप:	Conference item
प्रकाशित:	2012

समान संसाधन

A labelled sequent calculus for BBI : proof theory and proof search
द्वारा: Hóu, Zhé, और अन्य
प्रकाशित: (2020)

Stoic sequent logic and proof theory
द्वारा: Bobzien, S
प्रकाशित: (2019)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
द्वारा: Rajeev Gore, और अन्य
प्रकाशित: (2011-05-01)

Sequent calculus for hybrid logic
द्वारा: Stanislovas Norgėla, और अन्य
प्रकाशित: (2023-09-01)

Sequent calculus for propositional likelihood logic
द्वारा: Romas Alonderis
प्रकाशित: (2023-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
द्वारा: Romas Alonderis
प्रकाशित: (2024-12-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
द्वारा: Dyckhoff, R, और अन्य
प्रकाशित: (2010)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
द्वारा: Kriener, M, और अन्य
प्रकाशित: (2009)

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
द्वारा: Stéphane Jean Eric Lengrand, और अन्य
प्रकाशित: (2011-03-01)

Algebra and sequent calculus for epistemic actions
द्वारा: Baltag, A, और अन्य
प्रकाशित: (2005)

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >
द्वारा: Romas Alonderis
प्रकाशित: (2002-12-01)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
द्वारा: Simon Tobias Lund, और अन्य
प्रकाशित: (2024-11-01)

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
द्वारा: Romas Alonderis
प्रकाशित: (1999-12-01)

Sequent calculus Sk4 for skolemized formulas
द्वारा: Andrejus Belovas, और अन्य
प्रकाशित: (2005-12-01)

Sequent calculus usage for BDI agent implementation
द्वारा: Adomas Birstunas
प्रकाशित: (2023-09-01)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
द्वारा: Brillout, A, और अन्य
प्रकाशित: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
द्वारा: Brillout, A, और अन्य
प्रकाशित: (2011)

A sequent calculus for a semi-associative law
द्वारा: Noam Zeilberger
प्रकाशित: (2019-02-01)

Inducing syntactic cut-elimination for indexed nested sequents
द्वारा: Revantha Ramanayake
प्रकाशित: (2018-11-01)

Sequent Systems for Consequence Relations of Cyclic Linear Logics
द्वारा: Paweł Płaczek
प्रकाशित: (2024-04-01)

Cut-Free Gentzen Sequent Calculi for Tense Logics
द्वारा: Zhe Lin, और अन्य
प्रकाशित: (2023-06-01)

Relation between classical and intuitionistic sequent calculi of temporal logic
द्वारा: Romas Alonderis
प्रकाशित: (2001-12-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
द्वारा: Sopo Pkhakadze, और अन्य
प्रकाशित: (2020-07-01)

A Proof Theoretic Analysis of Intruder Theories
द्वारा: Alwen F Tiu, और अन्य
प्रकाशित: (2010-09-01)

Gentzen and Temporal Sequents
द्वारा: Indrzejczak Andrzej
प्रकाशित: (2024-12-01)

A Proof Calculus for Automated Deduction in Propositional Product Logic
द्वारा: Dušan Guller
प्रकाशित: (2024-12-01)

Cut Elimination for Extended Sequent Calculi
द्वारा: Simone Martini, और अन्य
प्रकाशित: (2023-09-01)

Logical relations in Chinese and the theory of grammar
द्वारा: Huang, Cheng-Teh James
प्रकाशित: (2009)

Proof theory for fuzzy logics /
द्वारा: 432738 Metcalfe, George, और अन्य
प्रकाशित: (2009)

Simulating cardinal preferences in Boolean games: A proof technique
द्वारा: Ianovski, E, और अन्य
प्रकाशित: (2018)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
द्वारा: Dimitar P. Guelev
प्रकाशित: (2007-07-01)

Model Theory and Proof Theory of Coalgebraic Predicate Logic
द्वारा: Tadeusz Litak, और अन्य
प्रकाशित: (2018-03-01)

The Calculus of Computation [electronic resource]: Decision Procedures with Applications to Verification/
द्वारा: 374893 Bradley, Aaron R., और अन्य
प्रकाशित: (2007)

Logic : proof
द्वारा: Open University. Mathematics Foundation Course Team
प्रकाशित: (1971)

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
द्वारा: Jose Espirito Santo, और अन्य
प्रकाशित: (2009-05-01)

Categorical Proof Theory of Co-Intuitionistic Linear Logic
द्वारा: Gianluigi Bellin
प्रकाशित: (2014-09-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
द्वारा: Simon Docherty, और अन्य
प्रकाशित: (2018-10-01)

Extracting proofs from tabled proof search
द्वारा: Miller, Dale., और अन्य
प्रकाशित: (2013)

Treating coordination in logic grammars /
द्वारा: 307809 Dahl, Veronica, और अन्य

Anaphora and type logical grammar /
द्वारा: Jager, Gerhard, 1967-
प्रकाशित: (2005)