Linked e-resources
Details
Table of Contents
A Note on the Ontology of Mathematics
Boolean Functional Synthesis: From Under the Hood of Solvers
Labelled Calculi for Lattice-based Modal Logics
Two Ways to Scare a Gruffalo
Determinacy Axioms and Large Cardinals
Big ideas from logic for mathematics and computing education
Modal Logic of Generalized Separated Topological Spaces
Multiple-valued Semantics for Metric Temporal Logic
Segment transit function of the induced path function of graphs and its first-order definability
Fuzzy Free Logic with Dual Domain Semantics
A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering
Labelled calculi for the logics of rough concepts
An Infinity of Intuitionistic Connexive Logics
Relational Semantics for Normal Topological Quasi-Boolean Logic.
Boolean Functional Synthesis: From Under the Hood of Solvers
Labelled Calculi for Lattice-based Modal Logics
Two Ways to Scare a Gruffalo
Determinacy Axioms and Large Cardinals
Big ideas from logic for mathematics and computing education
Modal Logic of Generalized Separated Topological Spaces
Multiple-valued Semantics for Metric Temporal Logic
Segment transit function of the induced path function of graphs and its first-order definability
Fuzzy Free Logic with Dual Domain Semantics
A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering
Labelled calculi for the logics of rough concepts
An Infinity of Intuitionistic Connexive Logics
Relational Semantics for Normal Topological Quasi-Boolean Logic.