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)

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)

Algebra and sequent calculus for epistemic actions
حسب: Baltag, A, وآخرون
منشور في: (2005)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
حسب: Brillout, A, وآخرون
منشور في: (2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
حسب: Brillout, A, وآخرون
منشور في: (2011)

Proof theory for fuzzy logics /
حسب: 432738 Metcalfe, George, وآخرون
منشور في: (2009)

Logical relations in Chinese and the theory of grammar
حسب: Huang, Cheng-Teh James
منشور في: (2009)

Simulating cardinal preferences in Boolean games: A proof technique
حسب: Ianovski, E, وآخرون
منشور في: (2018)

Extracting proofs from tabled proof search
حسب: Miller, Dale., وآخرون
منشور في: (2013)

Logic, proof and sets /
حسب: 388844 Bittinger, Marvin L.
منشور في: (1982)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
حسب: Benedikt, M, وآخرون
منشور في: (2024)

Logic II : proof [kasetvideo]
منشور في: ([19-)

Logic II - proof [filem]
منشور في: ([n.d)

The development of the concept of mathematical proof in grammar school pupils /
حسب: 372554 Reynolds, J.

Stochastic And Modified Sequent Peak Algorithm For Reservoir Planning Analysis Considering Performance Indices
حسب: Oskoui, Issa Saket
منشور في: (2016)

Treating coordination in logic grammars /
حسب: 307809 Dahl, Veronica, وآخرون

Anaphora and type logical grammar /
حسب: Jager, Gerhard, 1967-
منشور في: (2005)

A Proof-Checker for Dynamic Logic
حسب: Litvintchouk, S.D., وآخرون
منشور في: (2004)

A recognition procedure for transformational grammars.
حسب: Petrick, Stanley Roy
منشور في: (2005)

Surface proofs for nonsymmetric linear logic
حسب: Dunn, L, وآخرون
منشور في: (2016)

Proof methods for modal and intuitionistic logics /
حسب: Fitting, Melvin, 1942-
منشور في: (1983)

Proof, logic and conjecture : the mathematician's toolbox /
حسب: 267708 Wolf, Robert S
منشور في: (1998)

Free calculus : a liberation from concepts and proofs /
حسب: 257117 Lin, Qun
منشور في: (2008)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
حسب: Sadrzadeh, M, وآخرون
منشور في: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
حسب: Sadrzadeh, M, وآخرون
منشور في: (2009)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
حسب: Sadrzadeh, M, وآخرون
منشور في: (2010)

Complexity of Nested Circumscription and Nested Abnormality Theories
حسب: Cadoli, M, وآخرون
منشور في: (2002)

The S-Procedure via dual cone calculus
حسب: Hauser, R
منشور في: (2013)

Proof theory /
حسب: Aczel, Peter
منشور في: (2008)

Internal proof calculi for modal logics with separating conjunction
حسب: Demri, S, وآخرون
منشور في: (2021)

Elementary set theory : proof techniques proof techniques /
حسب: 365632 Gordon, Carl E., وآخرون
منشور في: (1975)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
حسب: Dyckhoff, R, وآخرون
منشور في: (2012)

Tableau-based decision procedure for non-Fregean logic of sentential identity
حسب: Golińska-Pilarek, J, وآخرون
منشور في: (2021)

The complexity of decision problems about equilibria in two-player Boolean games
حسب: Ianovski, E, وآخرون
منشور في: (2018)

Complexity of propositional nested circumscription and nested abnormality theories
حسب: Cadoli, M, وآخرون
منشور في: (2005)

Handbook of logic and proof techniques for computer science /
حسب: 181645 Krantz, Steven G. (Steven George), 1951-
منشور في: (2002)

Basic proof theory /
حسب: Troelstra, A. S. (Anne Sjerp), وآخرون
منشور في: (2006)

The Logic of Procedural Readings
حسب: Seres, S, وآخرون
منشور في: (1999)