53 results on '"J. Michael Dunn"'
Search Results
2. Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics
3. Neighbourhood Semantics for Quantified Relevant Logics
4. Implicational Tonoid Logics: Algebraic and Relational Semantics
5. Probabilities with Gaps and Gluts
6. HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
7. Pecularities of Some Three- and Four-Valued Second Order Logics
8. Compactness for RQ
9. Relevant predication: Grammatical characterisations
10. Variable Domain First-Order First-Degree Entailment and Some of Its Children
11. On Pretabular Extensions of Relevance Logic
12. Connexive Exclusion
13. Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics
14. Investigations into Proof Structures: Investigations into Proof Structures
15. Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
16. Paraconsistency in Non-Fregean Framework
17. An Algebraic View of the Mares-Goldblatt Semantics
18. Connexive Negation
19. Jaśkowski and the Jains
20. A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
21. Hegel of the gaps? Truth, falsity and conjunction in Hegelian contradictions
22. Double Negation as Minimal Negation
23. Acting on belief functions
24. Choice-free topological duality for implicative lattices and Heyting algebras
25. A Simple Logic of Concepts
26. Information Theory and Logical Analysis in the Tractatus Logico-Philosophicus
27. Intuitionistic Propositional Logic with Galois Negations
28. Logics of Order and Related Notions
29. What is a Relevant Connective?
30. Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
31. Duality for normal lattice expansions and sorted residuated frames with relations
32. An informational interpretation of weak relevant logic and relevant property theory
33. Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
34. Tarskian consequence relations bilaterally: some familiar notions
35. Memory as Triage: Facing Up to the Hard Question of Memory
36. Relevant propositional dynamic logic
37. A plea for KR
38. A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
39. Natural Density and the Quantifier “Most”
40. Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
41. Algebraic Analysis of Demodalised Analytic Implication
42. The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins
43. Paraconsistency and the need for infinite semantics
44. On Beall’s New Interpretation of WK3
45. There is More to Negation than Modality
46. A Second Pretabular Classical Relevance Logic
47. Bisimulation for Conditional Modalities
48. 40 years of FDE: An Introductory Overview
49. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
50. First-Degree Entailment and its Relatives
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.