greg_restall's Dunn:JM [48 articles] Export Sort

Recent papers posted to greg_restall's library by the author Dunn:JM. You can also see everyone's Dunn:JM.

Hide details

	Star and Perp: Two Treatments of Negation [My Copy] In Philosophical Perspectives (1994), pp. 331-357. by J. Michael Dunn edited by James E. Tomberlin posted to intuitionistic lattice negation philosophical_logic quantum substructural by greg_restall on 2005-03-13 04:15:15 as along with 2 people MichaelDe noam_zeilberger
	The Complexity of Decision Procedures in Relevance Logic [My Copy] In Truth or Consequences (1990), pp. 77-95. by Alasdair Urquhart edited by J. Michael Dunn, Anil Gupta posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	$E$, $R$ and $γ$ [My Copy] Journal of Symbolic Logic, Vol. 34 (1969), pp. 460-474. by Robert K. Meyer, J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Curry's Paradox [My Copy] Analysis, Vol. 39 (1979), pp. 124-128. by Robert K. Meyer, Richard Routley, J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Completeness of Relevant Quantification Theories [My Copy] Notre Dame Journal of Formal Logic, Vol. 15 (1974), pp. 97-121. by Robert K. Meyer, J. Michael Dunn, H. Leblanc posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Stone Duality for Lattices [My Copy] Algebra Universalis, Vol. 37 (1997), pp. 391-401. by C. Hartonas, J. Michael Dunn posted to duality lattice representation stone bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	Algebraic Methods in Philosophical Logic [My Copy] (forthcoming) by Gary Hardegree, J. M. Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:03 as
	The Frame Problem and Relevant Predication [My Copy] In Knowledge Representation and Defeasible Reasoning (1989) by J. Michael Dunn edited by H. Kyburg, R. Loui, C. Carlson posted to bibtex-import by greg_restall on 2005-03-12 04:21:01 as
	The Effective Equivalence of Certain Propositions about De Morgan Lattices [My Copy] Journal of Symbolic Logic, Vol. 32 (1967), pp. 433-434. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:01 as
	The Algebra of Intensional Logics [My Copy] (1966) by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:01 as
	$R$-mingle and Beneath: Extensions of the Routley-Meyer Semantics for $R$ [My Copy] Notre Dame Journal of Formal Logic, Vol. 20 (1979), pp. 369-376. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:01 as
	Relevance Logic and Entailment [My Copy] In Handbook of Philosophical Logic (199?) by J. Michael Dunn, Greg Restall edited by Dov Gabbay posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevant Predication: A Logical Framework for Natural Properties [My Copy] In The Cosmos of Science (1996) by J. Michael Dunn edited by J. Earman, J. D. Norton posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevant Predication 3: Essential Properties [My Copy] In Truth or Consequences (1990), pp. 77-95. by J. Michael Dunn edited by J. Michael Dunn, Anil Gupta posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevant Predication 2: Intrinsic Properties and Internal Relations [My Copy] Philosophical Studies, Vol. 60 (1990), pp. 177-206. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevant Predication 1: The Formal Theory [My Copy] Journal of Philosophical Logic, Vol. 16 (1987), pp. 347-381. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevance Logic and Entailment [My Copy] In Handbook of Philosophical Logic, Vol. 3 (1986), pp. 117-229. by J. Michael Dunn edited by Dov M. Gabbay, Franz Günthner posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevant Robinson's Arithmetic [My Copy] Studia Logica, Vol. 38 (1980), pp. 407-418. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevance Logic [My Copy] In Handbook of Philosophical Logic, Vol. 6 (2002), pp. 1-136. by J. Michael Dunn, Greg Restall edited by Dov M. Gabbay posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Quantification and RM [My Copy] Studia Logica, Vol. 35 (1976), pp. 315-322. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Partial-Gaggles Applied to Logics with Restricted Structural Rules [My Copy] In Substructural Logics (1993) by J. Michael Dunn edited by Peter S. Heister, Kosta Dosen posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Natural Language Versus Formal Language [My Copy] by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Modern Uses of Multiple-Valued Logic [My Copy] (1977) by J. Michael Dunn, G. Epstein posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Logical Framwork for the Notion of Natural Property [My Copy] (1994) by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Is Existence a (Relevant) Predicate? [My Copy] Philosophical Topics, Vol. 24 (1996), pp. 1-34. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Intuitive Semantics for First-Degree Entailments and “Coupled Trees” [My Copy] Philosophical Studies, Vol. 29 (1976), pp. 149-168. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Homomorphisms of Intensionally Complemented Distributive Lattices [My Copy] Math. Annalen, Vol. 176 (1968), pp. 28-38. by J. Michael Dunn, N. D. . Nuel posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Gentzen's Cut and Ackermann's $γ$ [My Copy] In Directions in Relevant Logic (1989) by J. Michael Dunn, Robert K. Meyer edited by Richard Sylvan, Jean Norman posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Generalised Ortho Negation [My Copy] In Negation: A Notion in Focus (1996), pp. 3-26. by J. Michael Dunn edited by Heinrich Wansing posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Gaggle Theory Applied to Modal, Intuitionistic and Relevance Logics [My Copy] In Logik und Mathematik: {F}rege-{K}olloquium Jena (1993) by J. Michael Dunn edited by I. Max, W. Stelzner posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation and Various Logical Operations [My Copy] In Logics in AI, Proceedings European Workshop JELIA 1990, Vol. 478 (1991) by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Variation on the Binary Semantics for RM [My Copy] Relevance Logic Newsletter, Vol. 1 (1976), pp. 56-67. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Theorem in 3-valued Model Theory With Connections to Number Theory, Type Theory, and Relevant Logic [My Copy] Studia Logica, Vol. 38 (1979), pp. 149-169. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Sieve for Entailments [My Copy] Journal of Philosophical Logic, Vol. 9 (1980), pp. 41-57. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Representation of Relation Algebras Using Routley--Meyer Frames [My Copy] (1993) by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Relational Representation Theorem for De Morgan Lattices [My Copy] Notre Dame Journal of Formal Logic, Vol. ?? (198?) by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	An Intuitive Semantics for First Degree Relevant Implications (abstract) [My Copy] Journal of Symbolic Logic, Vol. 36 (1971), pp. 363-363. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Algebraic Completeness Results for Dummett's LC and its Extensions [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 17 (1971), pp. 225-230. by J. Michael Dunn, Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Algebraic Methods in Philosophical Logic [My Copy] (2001) by J. Michael Dunn, Gary M. Hardegree posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Algebraic Completeness for $R$-mingle and its Extensions [My Copy] Journal of Symbolic Logic, Vol. 35 (1970), pp. 1-13. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A Kripke-style semantics for $R$-mingle using a binary accessibility relation [My Copy] Studia Logica, Vol. 35 (1976), pp. 163-172. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	A `Gentzen' System for Positive Relevant Implication [My Copy] Journal of Symbolic Logic, Vol. 38 (1974), pp. 356-357. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Partiality and its Dual [My Copy] Studia Logica, Vol. 65 (2000), pp. 5-40. by J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Two Extensions of the Structurally Free Logic $LC$ [My Copy] Logic Journal of the IGPL, Vol. 6, No. 3. (1998), pp. 493-424. by Katalin Bimbó, J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:20:53 as
	Entailment and the Disjunctive Syllogism [My Copy] In Philosophy of Language / Philosophical Logic (1981), pp. 337-366. by Nuel D. Belnap, J. Michael Dunn edited by Floi\ F. Stad, G. H. v. von Wright posted to bibtex-import by greg_restall on 2005-03-12 04:20:51 as
	A consecutive calculus for positive relevant implication with necessity [My Copy] Journal of Philosophical Logic, Vol. 9 (1980), pp. 343-362. by N. D. . belnap, A. Gupta, J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:20:51 as
	Entailment: The Logic of Relevance and Necessity [My Copy] Vol. 2 (1992) by Alan R. Anderson, Nuel D. Belnap, J. Michael Dunn posted to bibtex-import logic pnc relevant substructural by greg_restall on 2005-03-12 04:20:49 as
	A Kripke Semantics for Linear Logic [My Copy] Journal of Symbolic Logic, Vol. 58, No. 2. (1993), pp. 514-545. by Gerard Allwein, J. Michael Dunn posted to bibtex-import by greg_restall on 2005-03-12 04:20:48 as

Note: You may cite this page as: http://www.citeulike.org/user/greg_restall/author/Dunn:JM

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

bibtex-import	2009
pnc	88
logic	86
prooftheory	48
sequent	29
semantics	27
lc2005	21
category	18
normalisation	13
cutelimination	13
deduction	13
natural	11
paradox	10
modal	9
calculus	8
mathematics	8
proof	7
relevant	7
cut_elimination	7
history	7
substructural	7
gentzen	7
lattice	7
truth	6
kant	6
history_of_logic	6
proofnet	6
philosophical_logic	6
meaning	6
linear	6
inference	6
identity	6
intuitionistic	5
lambek	5
classical	5
coherence	5
inferentialism	4
realism	4
lambda	4
philosophy	4
anti-realism	4
epistemic	4
carnap	4
studyleave2005	4
structure	4
quantum	4
textbook	3
naturaldeduction	3
godel	3
concurrency	3
liar	3
induction	3
information	3
pluralism	3
duality	3
context	3
finite	3
typetheory	3
delay	3
negation	3
flow	3
resource	3
fairness	3
paraconsistent	3
a_priori	3
frege	3
stone	3
representation	3
bradwardine	2
contraction	2
nonclassical	2
cut	2
situation	2
constructive	2
content	2
theory	2
belief	2
epistemology	2
knowledge	2
arithmetic	2
fixpoints	2
vagueness	2
algebra	2
update	2
haskell	2
mix	2
buridan	2
model	2
normativity	2
justification	2
computability	2
prawitz	2
substitution	2
point	2
assertion	2
curry	2
coalgebra	2
russell	2
proofnets	2
theology	2
revision	2
display	2
decision_theory	2
hilbert	2
quantification	2
final	2
space	2
geometry	2
conditional	2
foundations	2
fixed	2
synthetic	2
tableaux	2
frame	1
defeasibility	1
ideology	1
internalism	1
communication	1
weakening	1
supervaluation	1
deflationism	1
intuition	1
tolerance	1
martin-lf	1
affine	1
church-truring_thesis	1
fuzzy_logic	1
bolzano	1
reason	1
seligman	1
ontology	1
blackburn	1
s5	1
conditionalising	1
star_autonomous	1
rawls	1
quine	1
substitutional	1
discourse	1
structured	1
encyclopedia	1
mixed	1
psychologism	1
impossible	1
rewriting	1
wiki	1
logicism	1
elimination	1
monad	1
existence	1
infinitary	1
set_theory	1
incarnation	1
paradigm	1
algebras	1
quantifier	1
cantor	1
noncommutative	1
tablesofdevelopment	1
hypersequents	1
temporal	1
term	1
barwise	1
continuous	1
ramsey	1
prootheory	1
canberra_plan	1
explanation	1
many_valued	1
principia	1
philosophy_of_mathematics	1
net	1
disposition	1
mu-calculus	1
dynamic	1
transformation	1
analytic_philosophy	1
cassirer	1
axiom	1
ternary	1
logics	1
attitudes	1
domain	1
models	1
principia_mathematica	1
sorensen	1
pretopology	1
groups	1
dialogue	1
action	1
mine	1
forcing	1
braid	1
keisler	1
programming	1
validity	1
jaskowski	1
functor	1
dummett	1
tree	1
continuation	1
analysis	1
generality	1
non-monotonic	1
quasi-realism	1
ethics	1
multiple_conclusion	1
possible_world	1
introduction	1
dialetheism	1
local	1
mechanism	1
free_logic	1
blog	1
inconsistency	1
adjoint	1
uncountable	1
truthteller	1
combinatorics	1
comonad	1
degrees	1
knower	1
bilattices	1
heidegger	1
incompleteness	1
behmann	1
zorns_lemma	1
putnam	1
mental	1
izf	1
multipleconclusion	1
hilberts_program	1
motivation	1
positivism	1
multiple-valued	1
possible	1
consequence	1
recursive	1
justice	1
expressivism	1
definition	1
interaction	1
associativity	1
worlds	1
complexity	1
order	1
mathematical	1
lucas	1
switching	1
fitch	1
provability	1
choice	1
sequentialisation	1
lemmon	1
argumentation	1
chu_construction	1
modality	1
probability	1
concept	1
kuhn	1
tonk	1
herbrand	1
counterfactual	1
lattice-ordered	1
denial	1
closure	1
research	1
analytic	1
type	1
concepts	1
slice	1
objects	1
physics	1
equality	1
connective	1
knowability	1
consistency	1
disjunction	1
conceptual	1
harmony	1
conservativeextension	1
correctness	1
lukasiewicz_logic	1
self-reference	1
externalism	1
sense	1
church	1
entailment	1
modularity	1

greg_restall's Dunn:JM [48 articles] Export Sort

greg_restall's tags