greg_restall's Meyer:RK [70 articles] Export

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

	Automated Theorem Proving in Non-Classical Logics [My Copy] (1988) by Paul Thistlewaite, Michael Mcrobbie, Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Semantics of Entailment [My Copy] In Truth Syntax and Modality (1973), pp. 194-243. by Richard Routley, Robert K. Meyer edited by Hugues Leblanc posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Semantics of Entailment --- III [My Copy] Journal of Philosophical Logic, Vol. 1 (1972), pp. 192-208. by Richard Routley, Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Semantics of Entailment --- II [My Copy] Journal of Philosophical Logic, Vol. 1 (1972), pp. 53-73. by Richard Routley, Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Relevant Logics and their Rivals [My Copy] (1982) by Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Dialectal Logic, Classical Logic and the Consistency of the World [My Copy] Studies in Soviet Thought, Vol. 16 (1976), pp. 1-25. by Richard Routley, Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Extensional Reduction - II [My Copy] ? (?) by Robert K. Meyer, Richard Routley posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Why I am not a Relevantist [My Copy] No. 1. (1978) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Topics in Modal and Many-valued Logic [My Copy] (1966) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	The Universe and Dr. Andernap [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	The Semantics of Entailment 0 [My Copy] ? (?) by Robert K. Meyer, Edwin D. Mares posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	The Relevant Theory of Propositions is Undecidable [My Copy] (1978) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	The Finite Model Property for BCK and BCIW [My Copy] Studia Logica, Vol. 53 (1994), pp. 107-118. by Robert K. Meyer, Hiroakira Ono posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	The Consistency of Arithmetic [My Copy] (1975) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	`Strenge' Arithmetic [My Copy] (1996) by Robert K. Meyer, Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Semantics of Entailment 0 [My Copy] In Substructural Logics (1993) by Robert K. Meyer, Edwin Mares edited by Peter S. Heister, Kosta Dosen posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	$R_I$---the Bounds of Finitude [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 16 (1970), pp. 385-387. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Tribute: Richard Sylvan [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Relevant Arithmetic [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Relevantly Interpolating in RM [My Copy] No. 9. (1980) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Relevant arithmetic [My Copy] Bulletin of the Section of Logic, Vol. 5 (1976), pp. 133-137. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	"Relevance Logic" is a Fraud [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Proving Semantical Completeness "Relevantly" for R [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	On Establishing the Converse [My Copy] Logique et Analyse, Vol. 139--140 (1992), pp. 207-222. by Robert K. Meyer, Errol P. Martin posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	On Conserving Positive Logics [My Copy] Notre Dame Journal of Formal Logic, Vol. 14 (1973), pp. 224-236. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	On Coherence in Modal Logics [My Copy] Logique et Analyse, Vol. 14 (1971), pp. 658-668. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	New Axiomatics for Relevant Logics --- I [My Copy] Journal of Philosophical Logic, Vol. 3 (1974), pp. 53-86. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Multisets and Relevant Implication I [My Copy] Australasian Journal of Philosophy, Vol. 60 (1982), pp. 107-139. by Robert K. Meyer, Michael A. Mcrobbie posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Metacompleteness [My Copy] Notre Dame Journal of Formal Logic, Vol. 17 (1976), pp. 501-517. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Matters of Separation [My Copy] Notre Dame Journal of Formal Logic, Vol. 13 (1972), pp. 229-236. by Robert K. Meyer, H. Leblanc posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Logic on the Australian Plan [My Copy] Journal of Philosophical Logic, Vol. 15 (1986), pp. 305-332. by Robert K. Meyer, Errol P. Martin posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Linear Analytic Tableaux [My Copy] In Proceedings of the Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Vol. 918 (1995) by Robert K. Meyer, Michael A. Mcrobbie, Nuel D. Belnap posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Intuitionism, Entailment, Negation [My Copy] In Truth, Syntax and Modality (1973), pp. 168-198. by Robert K. Meyer edited by H. Leblanc posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Independent Axioms of Sobocinski's three-valued logic [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 18 (1972), pp. 291-295. by Robert K. Meyer, Zane Parks posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Inconsistent Models for Relevant Arithmetics [My Copy] Journal of Symbolic Logic, Vol. 49 (1984), pp. 917-929. by Robert K. Meyer, Chris Mortensen posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Improved Decision Procedures for Pure Relevant Logics [My Copy] (1973) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Implementing the `Fool's Model' for Combinatory Logic [My Copy] Journal of Automated Reasoning, Vol. 7 (1991), pp. 597-630. by R. K. Meyer, M. Bunder, L. Powers posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	$⊃$E is Admissible in `True' Relevant Arithmetic [My Copy] Journal of Philosophical Logic, Vol. 27 (1998), pp. 327-351. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Firesets and Relevant Implication [My Copy] No. 3. (1979) by Robert K. Meyer, Michael A. Mcrobbie posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Extensional Reduction - I [My Copy] ? (?) by Robert K. Meyer, Richard Routley posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 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
	Entailment is Strict Implication [My Copy] (1976) by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Entailment [My Copy] Journal of Philosophy, Vol. 68 (1971), pp. 808-818. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	$⊃$E Is Admissible in "True" Relevant Arithmetic [My Copy] by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	E and S4 [My Copy] Notre Dame Journal of Formal Logic, Vol. 11 (1970), pp. 181-199. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Curry's Philosophy of Formal Systems [My Copy] Australiasian Journal of Philosophy, Vol. 65 (1987), pp. 156-171. by Robert K. Meyer 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
	Conservative Extension in Relevant Arithmetics [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 32 (1986), pp. 45-50. by Robert K. Meyer, Igor Urbas posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Conserving Positive Logics [My Copy] Notre Dame Journal of Formal Logic, Vol. 14 (1973), pp. 224-236. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Conservative Extension in Relevant Implication [My Copy] Studia Logica, Vol. 31 (1972), pp. 39-46. by Robert K. Meyer posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as

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

Result page: 1 2 Next

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 Meyer:RK [70 articles] Export

greg_restall's tags