Buch, Englisch, 154 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 260 g
Post-proceedings of the 8th International Workshop on Logic and Cognition
Buch, Englisch, 154 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 260 g
Reihe: Logic in Asia: Studia Logica Library
ISBN: 978-981-15-1344-2
Verlag: Springer Nature Singapore
Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik Mathematik Operations Research
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Geisteswissenschaften Sprachwissenschaft Sprachwissenschaften Theoretische Linguistik
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Neuronale Netzwerke
- Geisteswissenschaften Sprachwissenschaft Grammatik, Syntax, Morphologie
Weitere Infos & Material
Hyperstates on Involutive Bipartite MTL-algebras: A Preliminary Investigation.- Unification and Admissibility in Region-based Modal Logics of Space.- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear.- Proving Decidability Via a yntactic Proof Calculus. The Logic of Bunched Implication.- A Quantale Interpretation of Dynamic Logic.- Relational and Algebraic Semantics of Many-Valued Modal Logic.- Matthew effects Via Dependence and Independence Logic.- Explanations on Density Elimination for Semi-linear Substructural Logics.- Generalizing Gentzen's calculi.- Information, Belief, Knowledge: Epistemic Logic Based on Information States Semantics.- Algebraic Semantics for Hybrid Logics.