Logic, Semantics, and Algebraic Methods
Description
This volume brings together original contributions in algebraic logic, semantics, and a broad range of topics in non-classical logics. It offers a pluralistic perspective on contemporary logical research, encompassing developments in modal and higher-order frameworks, as well as paraconsistent, intuitionistic, and multivalued logics. The contributions place particular emphasis on semantic methods and algebraic structures, while also engaging with proof-theoretical and model-theoretical approaches, including a variety of consequence relations. Covering topics such as novel semantic frameworks, algebraic characterizations, and formal systems, the volume reflects the diversity and ongoing development of research in non-classical logics.
By gathering both established and emerging scholars, it provides a snapshot of current work at the intersection of algebra, semantics, and logical theory, and will be of interest to researchers and advanced students seeking a deeper understanding of contemporary developments across a wide spectrum of logical systems and methodologies.
More details
Persons
Walter Carnielli is a renowned logician and mathematician known for his contributions to non-classical logics, probability and philosophy of science. He has published extensively, advancing the understanding and application of logical reasoning systems. Carnielli has actively promoted logic education, and his work has had a significant international impact, making him a highly respected figure in the field.
Abilio Rodrigues is a distinguished logician and philosopher known for his contributions in logic, philosophy of language, and epistemology. With extensive publications and innovative research, he has made a lasting impact in the field. Holding degrees from prestigious institutions, his work continues to shape contemporary scholarship in logic and philosophy.
Content
Marcelo Coniglio at the Intersection of Logic,Semantics, and Algebra.- On Filter Pairs and Algebraic Logic.- Entailment in ST.- Rediscovering partial non-deterministic logical matrices.- Is Numerical Cognition Cognition of Natural Numbers?.- Computational Manifolds and Sheaf Theory: A geometric view of computability and Church-Turing Thesis.- Ivan Orlov: Relevance, Intuitionism, Modality, and Paraconsistency.- Postscript: "Univocity of Intuitionistic and Classical Connectives".- Tense distributive lattices: algebra, logic and topology.- RECOVERY OPERATORS IN QUASI-NELSON LOGIC.- THE MINIMALITY OF FIRST-ORDER LOGIC.- REGULAR NON-NORMAL MODAL CLASSICALITIES.- Discernment is all you need.- Tableau systems for conjunction variants of discussive logic.- A Note on Lattices with a Symmetric Difference Like Operation.- Valuation semantics for failed axiomatizations of K and E.- l-GROUPS, MV-ALGEBRAS, AF-ALGEBRAS.- Glivenko's theorems from an ecumenical perspective.- (Non)-deterministic and relational semantics for some alethic modal systems.- A Topos-Theoretical Route to Intuitionism.- On the collapse of classical and intuitionistic logics.- Solving a New Paradox of Deontic Logic (and a dozen other paradoxes) with RNmatrices for MC-based Modal Logics.