Overview
- Includes a collection of papers presented at the AWPL, reflecting the latest logic research
- Discusses active areas of interest in the fields of logic
- Covers both model semantical and proof theoretical approaches to dealing with logical problems
Part of the book series: Logic in Asia: Studia Logica Library (LIAA)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Contributed Papers
Keywords
About this book
Editors and Affiliations
About the editors
Hiroakira Ono, Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods.
Junhua Yu has been working in (structural) proof theory and its applications in constructive semantics, neighborhood logics, and logics with fixed-points.
Bibliographic Information
Book Title: Knowledge, Proof and Dynamics
Book Subtitle: The Fourth Asian Workshop on Philosophical Logic
Editors: Fenrong Liu, Hiroakira Ono, Junhua Yu
Series Title: Logic in Asia: Studia Logica Library
DOI: https://doi.org/10.1007/978-981-15-2221-5
Publisher: Springer Singapore
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer Nature Singapore Pte Ltd. 2020
Hardcover ISBN: 978-981-15-2220-8Published: 24 March 2020
Softcover ISBN: 978-981-15-2223-9Published: 24 March 2021
eBook ISBN: 978-981-15-2221-5Published: 23 March 2020
Series ISSN: 2364-4613
Series E-ISSN: 2364-4621
Edition Number: 1
Number of Pages: IX, 217
Number of Illustrations: 156 b/w illustrations, 16 illustrations in colour
Topics: Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages