Logic, Language, Information, and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662553855, 9783662553862

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_9 ◽

2017 ◽

pp. 125-139 ◽

Author(s):

Flavio Ferrarotti ◽

Senén González ◽

José María Turull-Torres

Keyword(s):

Higher Order ◽

Second Order ◽

Finite Structures

Download Full-text

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_23 ◽

2017 ◽

pp. 321-335 ◽

Author(s):

Yury Savateev ◽

Daniyar Shamkanov

Keyword(s):

Cut Elimination ◽

Grzegorczyk Logic

Download Full-text

Computable Quotient Presentations of Models of Arithmetic and Set Theory

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_10 ◽

2017 ◽

pp. 140-152

Author(s):

Michał Tomasz Godziszewski ◽

Joel David Hamkins

Keyword(s):

Models Of Arithmetic

Download Full-text

Non-commutative Logic for Compositional Distributional Semantics

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_8 ◽

2017 ◽

pp. 110-124

Author(s):

Karin Cvetko-Vah ◽

Mehrnoosh Sadrzadeh ◽

Dimitri Kartsaklis ◽

Benjamin Blundell

Keyword(s):

Distributional Semantics ◽

Compositional Distributional Semantics

Download Full-text

On the Length of Medial-Switch-Mix Derivations

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_5 ◽

2017 ◽

pp. 68-79

Author(s):

Paola Bruscoli ◽

Lutz Straßburger

Download Full-text

The Lambek Calculus with Iteration: Two Variants

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_13 ◽

2017 ◽

pp. 182-198 ◽

Author(s):

Stepan Kuznetsov

Keyword(s):

Lambek Calculus

Download Full-text

Disjoint Fibring of Non-deterministic Matrices

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_17 ◽

2017 ◽

pp. 242-255 ◽

Author(s):

Sérgio Marcelino ◽

Carlos Caleiro

Download Full-text

Multi-type Display Calculus for Semi De Morgan Logic

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_14 ◽

2017 ◽

pp. 199-215 ◽

Author(s):

Giuseppe Greco ◽

Fei Liang ◽

M. Andrew Moshier ◽

Alessandra Palmigiano

Keyword(s):

Display Calculus

Download Full-text

Proof Theory and Ordered Groups

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_6 ◽

2017 ◽

pp. 80-91 ◽

Author(s):

Almudena Colacito ◽

George Metcalfe

Keyword(s):

Proof Theory ◽

Download Full-text

Total Search Problems in Bounded Arithmetic and Improved Witnessing

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_3 ◽

2017 ◽

pp. 31-47

Author(s):

Arnold Beckmann ◽

Jean-José Razafindrakoto

Keyword(s):

Bounded Arithmetic ◽

Search Problems

Download Full-text