Dynamic Logic. New Trends and Applications
This book constitutes revised selected papers from the refereed proceedings of the 4th...
EAN: 9783031266218
Relational Calculus for Actionable Knowledge
This book focuses on one of the major challenges of the newly created scientific domain known as...
EAN: 9783030924324
Logic - Language - Ontology
This collection of papers aims to unify the questions of syntax and semantics of language, which...
EAN: 9783031223297
Effective Kan Fibrations in Simplicial Sets
Further, it is shown that effective Kan fibrations are local, or completely determined by their...
EAN: 9783031188992
R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which...
EAN: 9789811942693
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
EAN: 9783031068423
Founding Mathematics on Semantic Conventions
EAN: 9783030885366
Logic and Implication
This monograph presents a general theory of weakly implicative logics, a family covering a vast...
EAN: 9783030856779
Making Musical Time
This book is a comprehensive examination of the conception, perception, performance, and...
EAN: 9783030856311
R-CALCULUS: A Logic of Belief Revision
It extends R-calculus from first-order logic to propositional logic, description logics, modal...
EAN: 9789811629464
Universal Algebraic Logic
The three main themes are (i) universal logic and the question of what logic is, (ii) duality...
EAN: 9783031148866
Handbook of Model Categories
This book outlines a vast array of techniques and methods regarding model categories, without...
EAN: 9783030750374
Representations of Algebras
This book offers an original introduction to the representation theory of algebras, suitable for...
EAN: 9783031122873
Logic Without Gaps or Gluts
This book offers a defense against non-classical approaches to the paradoxes. In fact, he...
EAN: 9783030946265
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
This introductory section is followed by papers on algebraic logic and lattice theory, papers on...
EAN: 9783030714321
Practical Aspects of Declarative Languages
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of...
EAN: 9783031248405
Protocol-theoretic Framework for the Logic of Epistemic Norms
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN),...
EAN: 9783031085963
Semantics and Truth
The book provides a historical (with an outline of the history of the concept of truth from...
EAN: 9783030245382
Ultralogic as Universal?
A universal logic, Routley argues, enables us to go where no other logic—especially not classical...
EAN: 9783319919737
Quaternions for Computer Graphics
If you have ever wondered what quaternions are — then look no further, John Vince will show you...
EAN: 9781447175117
