Search
Skip to Search Results- 7Pelletier, Francis J.
- 3Brigandt, Ingo
- 3Katalin Bimbó
- 3Morin, Marie-Eve
- 2Katalin Bimbó and J. Michael Dunn
- 2Schmitter, Amy M.
- 2Epistemology
- 2Metaphysics
- 2Nancy, Jean-Luc
- 12-valued logic, admissibility of the cut rule, axiomatic calculus for FOL, contraction measure, sequent calculus for FOL, single cut rule
- 1Abbreviations
- 1Annapolis River
-
2022-01-01
Katalin Bimbó and J. Michael Dunn
Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley's representation of distributive...
-
2022-01-01
The generalized Galois logic approach (i.e., gaggle theory), introduced by Dunn, provides a systematic way to define semantics for many substructural logics in the form of a relational representation of their Lindenbaum algebras. We provide an overview of some conceptual antecedents that we think...
-
2022-01-01
Katalin Bimbó and J. Michael Dunn
This paper considers modalities added to the relevance logic LR (lattice-R), which is R with the distributivity of conjunction and disjunction omitted. First, the modalities are defined from the Ackermann constants and the lattice connectives. Then, we introduce modalities as primitives equipped...
-
2020-01-01
Some logics are decidable, that is, there is an algorithm to determine whether a formula is provable in a calculus formalizing the logic. This paper aims to depict the evolution of decidability proofs based on sequent calculi from the first such proof for intuitionist logic to some of the latest...
-
2020-06-01
The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut...
-
2015
Jean-Luc Nancy often asserts that his ontology is also an ethos and praxis. I seek to develop this affirmation with a view to understanding the role and place of ‘another politics’ or ‘another of politics’ in Nancy's work. I start by unfolding Nancy's understanding of existence as abandonment,...
-
Environmental versus Natural Heritage Stewardship: Nova Scotia's Annapolis River and the Canadian Heritage River System
Download2015
Mindful of the keen public interest in heritage preservation, environmental organizations have routinely characterized nature as a “heritage” asset to be preserved for future generations. But while doing so has often proved effective for winning public support for environmental initiatives, it...
-
2015
Introduction: Nancy engages with democracy most explicitly in his little book The Truth of Democracy, the publication of which marks the 40th anniversary of May ’68. At the beginning of the eponymous essay, ‘The Truth of Democracy,’ Nancy identifies as the ‘real singularity’ of May ’68 a certain...
-
2014
Introduction: My topic here is Descartes’ Third Meditation – but not the causal principles and proofs that have probably been the target of more philosophical irk than anything else in Descartes. Rather, I am concerned with the language in which they are couched, where Descartes speaks of an...