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

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

Bibliographic Details
Main Authors:	Tiu, A, Ianovski, E, Goré, R
Format:	Conference item
Published:	2012

Similar Items

A labelled sequent calculus for BBI : proof theory and proof search
by: Hóu, Zhé, et al.
Published: (2020)

Stoic sequent logic and proof theory
by: Bobzien, S
Published: (2019)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
by: Dyckhoff, R, et al.
Published: (2010)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
by: Kriener, M, et al.
Published: (2009)

Algebra and sequent calculus for epistemic actions
by: Baltag, A, et al.
Published: (2005)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
by: Brillout, A, et al.
Published: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
by: Brillout, A, et al.
Published: (2011)

Proof theory for fuzzy logics /
by: 432738 Metcalfe, George, et al.
Published: (2009)

Logical relations in Chinese and the theory of grammar
by: Huang, Cheng-Teh James
Published: (2009)

Simulating cardinal preferences in Boolean games: A proof technique
by: Ianovski, E, et al.
Published: (2018)

Extracting proofs from tabled proof search
by: Miller, Dale., et al.
Published: (2013)

Logic, proof and sets /
by: 388844 Bittinger, Marvin L.
Published: (1982)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, M, et al.
Published: (2024)

Logic II - proof [filem]
Published: ([n.d)

Logic II : proof [kasetvideo]
Published: ([19-)

Anaphora and type logical grammar /
by: Jager, Gerhard, 1967-
Published: (2005)

Treating coordination in logic grammars /
by: 307809 Dahl, Veronica, et al.

Stochastic And Modified Sequent Peak Algorithm For Reservoir Planning Analysis Considering Performance Indices
by: Oskoui, Issa Saket
Published: (2016)

A Proof-Checker for Dynamic Logic
by: Litvintchouk, S.D., et al.
Published: (2004)

A recognition procedure for transformational grammars.
by: Petrick, Stanley Roy
Published: (2005)

Free calculus : a liberation from concepts and proofs /
by: 257117 Lin, Qun
Published: (2008)

Surface proofs for nonsymmetric linear logic
by: Dunn, L, et al.
Published: (2016)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2009)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
by: Sadrzadeh, M, et al.
Published: (2010)

The S-Procedure via dual cone calculus
by: Hauser, R
Published: (2013)

Proof theory /
by: Aczel, Peter
Published: (2008)

Complexity of Nested Circumscription and Nested Abnormality Theories
by: Cadoli, M, et al.
Published: (2002)

Tableau-based decision procedure for non-Fregean logic of sentential identity
by: Golińska-Pilarek, J, et al.
Published: (2021)

Internal proof calculi for modal logics with separating conjunction
by: Demri, S, et al.
Published: (2021)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
by: Dyckhoff, R, et al.
Published: (2012)

Elementary set theory : proof techniques proof techniques /
by: 365632 Gordon, Carl E., et al.
Published: (1975)

Handbook of logic and proof techniques for computer science /
by: 181645 Krantz, Steven G. (Steven George), 1951-
Published: (2002)

The Logic of Procedural Readings
by: Seres, S, et al.
Published: (1999)

The complexity of decision problems about equilibria in two-player Boolean games
by: Ianovski, E, et al.
Published: (2018)

Complexity of propositional nested circumscription and nested abnormality theories
by: Cadoli, M, et al.
Published: (2005)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp), et al.
Published: (2006)

Grammar Learning using Inductive Logic Programming
by: Pulman, S, et al.
Published: (2001)

Test loading of piles and new proof testing procedure /
by: 433673 Fellenius, Bengt H.