Entity usage

Showing below up to 50 results in range #1 to #50.

1. Relational semantics for normal topological quasi-Boolean logic: Label: en
2. An infinity of intuitionistic connexive logics: Label: en
3. Labelled calculi for the logics of rough concepts: Label: en
4. Quasi-Boolean based models in rough set theory: a case of covering: Label: en
5. A new dimension of imperative logic: Label: en
6. Fuzzy free logic with dual domain semantics: Label: en
7. Segment transit function of the induced path function of graphs and its first-order definability: Label: en
8. Multiple-valued semantics for metric temporal logic: Label: en
9. Modal logic of generalized separated topological spaces: Label: en
10. \textit{Big ideas} from logic for mathematics and computing education: Label: en
11. Determinacy axioms and large cardinals: Label: en
12. Two ways to scare a Gruffalo: Label: en
13. Labelled calculi for lattice-based modal logics: Label: en
14. Boolean functional synthesis: from under the hood of solvers: Label: en
15. A note on the ontology of mathematics: Label: en
16. Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic: Label: en
17. Definability of Recursive Predicates in the Induced Subgraph Order: Label: en
18. Ancient Indian Logic and Analogy: Label: en
19. On Semantic Gamification: Label: en
20. Peirce’s Sequent Proofs of Distributivity: Label: en
21. Achieving While Maintaining:: Label: en
22. A Semantic Analysis of Stone and Dual Stone Negations with Regularity: Label: en
23. Deriving Natural Deduction Rules from Truth Tables: Label: en
24. A Substructural Epistemic Resource Logic: Label: en
25. Random Models for Evaluating Efficient Büchi Universality Checking: Label: en
26. Knowing Values and Public Inspection: Label: en
27. The Complexity of Finding Read-Once NAE-Resolution Refutations: Label: en
28. Neighbourhood Contingency Bisimulation: Label: en
29. Semantics and Proof Theory of the Epsilon Calculus: Label: en
30. Automata, Logic and Games for the $$\lambda $$ -Calculus: Label: en
31. Ramsey Theory on Trees and Applications: Label: en
32. Conversation and Games: Label: en
33. Hierarchies in Inclusion Logic with Lax Semantics: Label: en
34. The Art of Non-asserting: Dialogue with Nāgārjuna: Label: en
35. Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming: Label: en
36. Gautama – Ontology Editor Based on Nyaya Logic: Label: en
37. Towards Decidability of Conjugacy of Pairs and Triples: Label: en
38. A Unified Framework for Certificate and Compilation for QBF: Label: en
39. A Two-Dimensional Hybrid Logic of Subset Spaces: Label: en
40. A General Setting for the Pointwise Investigation of Determinacy: Label: en
41. Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic: Label: en
42. Instantial Relevance in Polyadic Inductive Logic: Label: en
43. An Analytic Logic of Aggregation: Label: en
44. Extensive Questions: Label: en
45. Game Quantification Patterns: Label: en
46. From Philosophical to Industrial Logics: Label: en
47. A Para Consistent Fuzzy Logic: Label: en
48. Knowledge, Games and Tales from the East: Label: en
49. Connection Matrices for MSOL-Definable Structural Invariants: Label: en
50. Some Second Order Set Theory: Label: en