Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319720555, 9783319720562

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tableau System for Instantial Neighborhood Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_21 ◽

2017 ◽

pp. 337-353 ◽

Cited By ~ 1

Author(s):

Junhua Yu

Keyword(s):

Tableau System

Download Full-text

On the Sharpness and the Single-Conclusion Property of Basic Justification Models

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_13 ◽

2017 ◽

pp. 211-220 ◽

Cited By ~ 2

Author(s):

Vladimir N. Krupski

Download Full-text

Dialectica Categories for the Lambek Calculus

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_16 ◽

2017 ◽

pp. 256-272

Author(s):

Valeria de Paiva ◽

Harley Eades

Keyword(s):

Lambek Calculus

Download Full-text

From Display to Labelled Proofs for Tense Logics

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_8 ◽

2017 ◽

pp. 120-139 ◽

Cited By ~ 2

Author(s):

Agata Ciabattoni ◽

Tim Lyon ◽

Revantha Ramanayake

Download Full-text

Polyteam Semantics

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_12 ◽

2017 ◽

pp. 190-210 ◽

Cited By ~ 3

Author(s):

Miika Hannula ◽

Juha Kontinen ◽

Jonni Virtema

Download Full-text

Justification Awareness Models

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_2 ◽

2017 ◽

pp. 22-36 ◽

Cited By ~ 5

Author(s):

Sergei Artemov

Download Full-text

A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_6 ◽

2017 ◽

pp. 91-106 ◽

Cited By ~ 5

Author(s):

Lev D. Beklemishev

Keyword(s):

Universal Algebra

Download Full-text

Notions of Cauchyness and Metastability

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_9 ◽

2017 ◽

pp. 140-153 ◽

Cited By ~ 1

Author(s):

Hannes Diener ◽

Robert Lubarsky

Download Full-text

A Minimal Computational Theory of a Minimal Computational Universe

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_3 ◽

2017 ◽

pp. 37-54

Author(s):

Arnon Avron ◽

Liron Cohen

Keyword(s):

Computational Theory

Download Full-text

Metastability and Higher-Order Computability

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_19 ◽

2017 ◽

pp. 309-330 ◽

Cited By ~ 4

Author(s):

Sam Sanders

Keyword(s):

Higher Order

Download Full-text

Logical Foundations of Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Tableau System for Instantial Neighborhood Logic

On the Sharpness and the Single-Conclusion Property of Basic Justification Models

Dialectica Categories for the Lambek Calculus

From Display to Labelled Proofs for Tense Logics

Polyteam Semantics

Justification Awareness Models

A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇

Notions of Cauchyness and Metastability

A Minimal Computational Theory of a Minimal Computational Universe

Metastability and Higher-Order Computability

Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications