291 results on '"Heinrich Wansing"'
Search Results
2. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
3. Logical Multilateralism.
4. On the Provable Contradictions of the Connexive Logics C and C3.
5. Stit-Logic for Imagination Episodes with voluntary input.
6. An Extension of Connexive Logic C.
7. Varieties of entailment: introduction to the special issue.
8. The nature of entailment: an informational approach.
9. Routley Star and Hyperintensionality.
10. Proof Systems for various FDE-based Modal Logics.
11. Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
12. Simplified Tableaux for STIT Imagination Logic.
13. An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.
14. On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.
15. Correction to: The nature of entailment: an informational approach.
16. Disentangling FDE-Based Paraconsistent Modal Logics.
17. 40 years of FDE: An Introductory Overview.
18. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.
19. Introduction to the special issue 'Doxastic Agency and Epistemic Responsibility'.
20. Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.
21. Reprint of: A more general general proof theory.
22. A more general general proof theory.
23. Editorial Preface.
24. Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus.
25. Completeness of Connexive Heyting-Brouwer Logic.
26. Falsification, natural deduction and bi-intuitionistic logic.
27. <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
28. Reasoning About Belief Revision.
29. Proofs, Disproofs, and Their Duals.
30. The Logic of Generalized Truth Values and the Logic of Bilattices.
31. External Curries.
32. Tableaux for multi-agent deliberative-stit logic.
33. Questions to Michael Dunn
34. Connexive Modal Logic.
35. Action-Theoreticaspects of Theory Choice.
36. Hypersequent and Display Calculi - a Unified Perspective.
37. Negation
38. Proof theory of Nelson's paraconsistent logic: A uniform perspective.
39. Synchronized Linear-Time Temporal Logic.
40. A Paraconsistent Linear-time Temporal Logic.
41. Completeness and cut-elimination theorems for trilattice logics.
42. Generalized truth values.: A reply to Dubois.
43. Combining linear-time temporal logic with constructiveness and paraconsistency.
44. The Power of Belnap: Sequent Systems for SIXTEEN3.
45. Editorial Introduction.
46. Modal logics with Belnapian truth values.
47. Intuitionistic Trilattice Logics.
48. Editorial Introduction. Truth Values: Part II.
49. The Slingshot Argument and Sentential Identity.
50. Sequent Calculi for some Trilattice Logics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.