Nonclassical logics and their applications : post-proceedings of the 8th International Workshop on Logic and Cognition /: post-proceedings of the 8th International Workshop on Logic and Cognition. (2020)
- Record Type:
- Book
- Title:
- Nonclassical logics and their applications : post-proceedings of the 8th International Workshop on Logic and Cognition /: post-proceedings of the 8th International Workshop on Logic and Cognition. (2020)
- Main Title:
- Nonclassical logics and their applications : post-proceedings of the 8th International Workshop on Logic and Cognition
- Other Titles:
- WOLC 2016
- Further Information:
- Note: Shier Ju, Alessandra Palmigiano, Minghui Ma, editors.
- Other Names:
- Ju, Shier
Palmigiano, Alessandra
Ma, Minghui
International Workshop on Logic and Cognition, 8th - Contents:
- Intro -- Preface -- Contents -- Hyperstates of Involutive MTL-Algebras that Satisfy (2x)2=2(x2) -- 1 Motivation -- 2 Abelian ell-Groups, MV-Algebras and Their States -- 3 From ell-Monoids to ell-Groups and Hoops -- 4 States of Prelinear Semihoops -- 5 States of IBP0-Algebras and Their Representation -- 6 Conclusions and Future Work -- References -- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms -- 1 Introduction -- 1.1 Some Foundational Issues -- 1.2 Specification Styles -- 1.3 General Motivation 1.4 This Paper's Categorical Investments -- 1.5 This Paper's Categorical Dividends -- 1.6 Explicitness for Novice Category Theorists and Others -- 1.7 Organization -- 2 The Category of Node-and-Choice Forms -- 2.1 Objects -- 2.2 Morphisms -- 2.3 The Category NCF -- 2.4 No-Absentmindedness and Perfect-Information -- 3 The Subcategory of Choice-Sequence Forms -- 3.1 Objects -- 3.2 Isomorphic Enclosure -- 3.3 More About No-Absentmindedness -- 4 The Subcategory of Choice-Set Forms -- 4.1 Objects -- 4.2 Isomorphic Enclosure -- 4.3 More About Perfect-Information -- 5 Further Remarks 5.1 Deducing Consequences from an Isomorphic Enclosure -- 5.2 Future Research -- References -- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability -- 1 Introduction -- 2 Products of Unbounded Dense Linear Orders -- 3 Syntax and Semantics -- 4 Mosaics -- 5 Maps -- 6 Correctness andIntro -- Preface -- Contents -- Hyperstates of Involutive MTL-Algebras that Satisfy (2x)2=2(x2) -- 1 Motivation -- 2 Abelian ell-Groups, MV-Algebras and Their States -- 3 From ell-Monoids to ell-Groups and Hoops -- 4 States of Prelinear Semihoops -- 5 States of IBP0-Algebras and Their Representation -- 6 Conclusions and Future Work -- References -- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms -- 1 Introduction -- 1.1 Some Foundational Issues -- 1.2 Specification Styles -- 1.3 General Motivation 1.4 This Paper's Categorical Investments -- 1.5 This Paper's Categorical Dividends -- 1.6 Explicitness for Novice Category Theorists and Others -- 1.7 Organization -- 2 The Category of Node-and-Choice Forms -- 2.1 Objects -- 2.2 Morphisms -- 2.3 The Category NCF -- 2.4 No-Absentmindedness and Perfect-Information -- 3 The Subcategory of Choice-Sequence Forms -- 3.1 Objects -- 3.2 Isomorphic Enclosure -- 3.3 More About No-Absentmindedness -- 4 The Subcategory of Choice-Set Forms -- 4.1 Objects -- 4.2 Isomorphic Enclosure -- 4.3 More About Perfect-Information -- 5 Further Remarks 5.1 Deducing Consequences from an Isomorphic Enclosure -- 5.2 Future Research -- References -- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability -- 1 Introduction -- 2 Products of Unbounded Dense Linear Orders -- 3 Syntax and Semantics -- 4 Mosaics -- 5 Maps -- 6 Correctness and Completeness of the Mosaic Method -- 6.1 Correctness -- 6.2 Completeness -- 7 Decidability and Complexity -- 8 Conclusion -- References -- Contact Logic is Finitary for Unification with Constants -- 1 Introduction -- 2 Syntax -- 3 Semantics 4 About Classes of Frames -- 5 Unifiability -- 6 Examples -- 7 Monomials and Polynomials -- 8 Equivalence Relations Between Tuples of Bits -- 9 Equivalence Relations Between Formulas -- 10 Unification Type -- 11 Conclusion -- References -- A Multi-agent Default Theory of Permission -- 1 Multi-agent Prioritized Default Theory -- 1.1 Agent-Relative Defeasible Obligations -- 2 Three Types of Permissions -- 2.1 Weak Permissions -- 2.2 Explicit Permissions -- 2.3 Tacit Permissions -- 2.4 A Fourth Type: Protected Permissions -- 3 Conclusion -- References -- Algebraic Semantics for Hybrid Logics … (more)
- Publisher Details:
- Singapore : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource (159 pages)
- Subjects:
- 160
Logic -- Congresses
Cognition -- Congresses
Cognition
Logic
Electronic books
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9789811513428
9811513422
9811513414
9789811513411
9789811513435
9811513430
9789811513442
9811513449 - Related ISBNs:
- 9789811513411
- Notes:
- Note: Print version record.
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.488140
- Ingest File:
- 03_046.xml