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
• 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 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
• 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.