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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662553855, 9783662553862

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 2

Author(s):

Stepan Kuznetsov

Keyword(s):

Lambek Calculus

Download Full-text

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

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):

Set Theory ◽

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

Concrete Mathematics. Finitistic Approach to Foundations

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

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

2017 ◽

pp. 271-280

Author(s):

Marcin Mostowski ◽

Marek Czarnecki

Download Full-text

Substructural Logics with a Reflexive Transitive Closure Modality

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

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

2017 ◽

pp. 349-357 ◽

Cited By ~ 1

Author(s):

Igor Sedlár

Keyword(s):

Transitive Closure ◽

Substructural Logics

Download Full-text

An Epistemic Generalization of Rationalizability

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

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

2017 ◽

pp. 295-303

Author(s):

Rohit Parikh

Download Full-text

On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations

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

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

2017 ◽

pp. 336-348

Author(s):

Nikolai L. Poliakov ◽

Denis I. Saveliev

Keyword(s):

First Order ◽

Ultrafilter Extensions

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Lambek Calculus with Iteration: Two Variants

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

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

Computable Quotient Presentations of Models of Arithmetic and Set Theory

Non-commutative Logic for Compositional Distributional Semantics

On the Length of Medial-Switch-Mix Derivations

Concrete Mathematics. Finitistic Approach to Foundations

Substructural Logics with a Reflexive Transitive Closure Modality

An Epistemic Generalization of Rationalizability

On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations

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