Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
by
Banerjee, Mohua. editor.
Title
:
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Author
:
Banerjee, Mohua. editor.
ISBN
:
9783662458242
Edition
:
1st ed. 2015.
Physical Description
:
X, 236 p. 24 illus. online resource.
Series
:
Theoretical Computer Science and General Issues, 8923
Contents
:
Homotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections for Transformations -- Truths about Simpson's Paradox: Saving the Paradox from Falsity -- Some instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency Logic -- Hierarchies in inclusion logic with lax semantics -- A Modal Logic for Non-deterministic Information Systems -- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief -- Büchi Automata Optimisations Formalised in Isabelle/HOL -- Nēya's logical model for Ascertaining Sound Arguments -- Negative Existentials and Non-denoting Terms -- Ordinals in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models.
Added Author
:
Banerjee, Mohua.
S., Krishna.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 519118-1001 | XX(519118.1) | | Elektronik Kütüphane |