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

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

Podrobná bibliografie
Hlavní autoři:	Tiu, A, Ianovski, E, Goré, R
Médium:	Conference item
Vydáno:	2012

Podobné jednotky

A labelled sequent calculus for BBI : proof theory and proof search
Autor: Hóu, Zhé, a další
Vydáno: (2020)

Stoic sequent logic and proof theory
Autor: Bobzien, S
Vydáno: (2019)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Autor: Rajeev Gore, a další
Vydáno: (2011-05-01)

Sequent calculus for hybrid logic
Autor: Stanislovas Norgėla, a další
Vydáno: (2023-09-01)

Sequent calculus for propositional likelihood logic
Autor: Romas Alonderis
Vydáno: (2023-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Autor: Romas Alonderis
Vydáno: (2024-12-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Autor: Dyckhoff, R, a další
Vydáno: (2010)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
Autor: Kriener, M, a další
Vydáno: (2009)

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Autor: Stéphane Jean Eric Lengrand, a další
Vydáno: (2011-03-01)

Algebra and sequent calculus for epistemic actions
Autor: Baltag, A, a další
Vydáno: (2005)

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >
Autor: Romas Alonderis
Vydáno: (2002-12-01)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Autor: Simon Tobias Lund, a další
Vydáno: (2024-11-01)

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Autor: Romas Alonderis
Vydáno: (1999-12-01)

Sequent calculus Sk4 for skolemized formulas
Autor: Andrejus Belovas, a další
Vydáno: (2005-12-01)

Sequent calculus usage for BDI agent implementation
Autor: Adomas Birstunas
Vydáno: (2023-09-01)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
Autor: Brillout, A, a další
Vydáno: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
Autor: Brillout, A, a další
Vydáno: (2011)

A sequent calculus for a semi-associative law
Autor: Noam Zeilberger
Vydáno: (2019-02-01)

Inducing syntactic cut-elimination for indexed nested sequents
Autor: Revantha Ramanayake
Vydáno: (2018-11-01)

Sequent Systems for Consequence Relations of Cyclic Linear Logics
Autor: Paweł Płaczek
Vydáno: (2024-04-01)

Cut-Free Gentzen Sequent Calculi for Tense Logics
Autor: Zhe Lin, a další
Vydáno: (2023-06-01)

Relation between classical and intuitionistic sequent calculi of temporal logic
Autor: Romas Alonderis
Vydáno: (2001-12-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Autor: Sopo Pkhakadze, a další
Vydáno: (2020-07-01)

A Proof Theoretic Analysis of Intruder Theories
Autor: Alwen F Tiu, a další
Vydáno: (2010-09-01)

Gentzen and Temporal Sequents
Autor: Indrzejczak Andrzej
Vydáno: (2024-12-01)

A Proof Calculus for Automated Deduction in Propositional Product Logic
Autor: Dušan Guller
Vydáno: (2024-12-01)

Cut Elimination for Extended Sequent Calculi
Autor: Simone Martini, a další
Vydáno: (2023-09-01)

Logical relations in Chinese and the theory of grammar
Autor: Huang, Cheng-Teh James
Vydáno: (2009)

Proof theory for fuzzy logics /
Autor: 432738 Metcalfe, George, a další
Vydáno: (2009)

Simulating cardinal preferences in Boolean games: A proof technique
Autor: Ianovski, E, a další
Vydáno: (2018)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Autor: Dimitar P. Guelev
Vydáno: (2007-07-01)

Model Theory and Proof Theory of Coalgebraic Predicate Logic
Autor: Tadeusz Litak, a další
Vydáno: (2018-03-01)

The Calculus of Computation [electronic resource]: Decision Procedures with Applications to Verification/
Autor: 374893 Bradley, Aaron R., a další
Vydáno: (2007)

Logic : proof
Autor: Open University. Mathematics Foundation Course Team
Vydáno: (1971)

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Autor: Jose Espirito Santo, a další
Vydáno: (2009-05-01)

Categorical Proof Theory of Co-Intuitionistic Linear Logic
Autor: Gianluigi Bellin
Vydáno: (2014-09-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Autor: Simon Docherty, a další
Vydáno: (2018-10-01)

Extracting proofs from tabled proof search
Autor: Miller, Dale., a další
Vydáno: (2013)

Treating coordination in logic grammars /
Autor: 307809 Dahl, Veronica, a další

Anaphora and type logical grammar /
Autor: Jager, Gerhard, 1967-
Vydáno: (2005)