greg_restall's logic [86 articles] Export

Recent papers added to greg_restall's library classified by the tag logic. You can also see everyone's logic.

	Complete Sequent Calculi for Induction and Infinite Descent [My Copy] (2007) by James Brotherson, Alex Simpson posted to sequent pnc logic induction cutelimination by greg_restall on 2007-02-01 10:50:15 as along with 2 people and 2 groups A_Olympia noam_zeilberger Philosophy_of_Information Blog_and_Wiki_Research
	Symmetry and Paradox [My Copy] History and Philosophy of Logic, Vol. 27, No. 4. (November 2006), pp. 307-318. by Stephen Read posted to bradwardine buridan liar logic paradox sorensen truthteller by greg_restall on 2006-11-16 09:38:08 as along with 2 people and 2 groups Scis0000002 A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	The Liar Paradox from John Buridan back to Thomas Bradwardine [My Copy] Vivarium, Vol. V40, No. 2. (1 October 2002), pp. 189-218. by Stephen Read posted to bradwardine buridan classical liar logic paradox semantics by greg_restall on 2006-11-16 08:20:06 as
	Noncomparabilities & Nonstandard Logics [My Copy] by Robert C. Hockett posted to ethics justice logic nonclassical rawls by greg_restall on 2006-10-26 03:03:22 as
	Inexhaustibility: A Non-Exhaustive Treatment [My Copy] Vol. 16 (08 September 2004) by Torkel Franzen posted to logic mathematics pnc prooftheory by greg_restall on 2006-08-13 11:36:45 as
	The first axiomatization of relevant logic [My Copy] Journal of Philosophical Logic, Vol. 21, No. 4. (November 1992), pp. 339-356. by Kosta Dosen posted to history logic pnc relevant by greg_restall on 2006-08-01 04:31:58 as along with 2 people scis0000001 Scis0000002
	Substructural Logics: A Primer [My Copy] (31 May 2002) by Francesco Paoli posted to logic pnc substructural by greg_restall on 2006-07-25 14:05:01 as
	Under Carnap's Lamp: Flat Pre-semantics [My Copy] Studia Logica, Vol. 80, No. 1. (June 2005), pp. 1-28. by Nuel Belnap posted to carnap logic semantics by greg_restall on 2006-07-20 04:40:16 as
	Ternary Relational Semantics and Beyond: Programs as Arguments (Data) and Programs as Functions (Programs) [My Copy] Logical Studies, Vol. 7 (2001), pp. 1-20. by Michael J. Dunn posted to logic relevant semantics ternary by greg_restall on 2006-06-10 13:19:31 as
	Modal Logic As Dialogical Logic [My Copy] Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93. by Patrick Blackburn posted to dialogue logic modal pnc by greg_restall on 2006-05-25 01:39:02 as along with 1 person Scis0000002
	From Modal Discourse to Possible Worlds [My Copy] Studia Logica, Vol. 82, No. 3. (April 2006), pp. 307-327. by Cresswell, Maxwell posted to discourse ideology logic modal ontology possible_world by greg_restall on 2006-05-24 22:12:52 as along with 1 person and 1 group JessLaccetti Transliteracy
	Restricted exchange, braidings and the monoidal centre [My Copy] (1 May 2006) by Jonathan A. Cohen, Craig A. Pastro posted to braid category logic noncommutative pnc prooftheory by greg_restall on 2006-05-02 06:31:20 as
	Structure of proofs and the complexity of cut elimination [My Copy] Theoretical Computer Science, Vol. 353, No. 1-3. (14 March 2006), pp. 63-70. by Wenhui Zhang posted to calculus cut_elimination logic pnc proof sequent structure by greg_restall on 2006-02-24 12:28:40 as
	Equality of Proofs for Linear Equality [My Copy] (30 Jan 2006) by K. Dosen, Z. Petric posted to equality identity linear logic pnc proof by greg_restall on 2006-02-06 22:33:30 as along with 1 person vcvpaiva
	Logic and Meaning: The Philosophical Significance of the Sequent Calculus [My Copy] by Michael Kremer posted to calculus logic pnc prooftheory sequent truth by greg_restall on 2005-11-21 13:57:09 as along with 2 people and 1 group MichaelDe rzach LogicPhilMath
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] (15 Nov 2005) by David Ellerman posted to adjoint category functor logic mathematics by greg_restall on 2005-11-16 11:11:43 as along with 4 people and 2 groups Kevembuangga scis0000001 aleks noam_zeilberger Impending_AI_breakthrough Compilers
	Supervaluationism and Its Logics [My Copy] (2005) by Achille Varzi posted to logic pluralism supervaluation vagueness by greg_restall on 2005-10-28 16:03:04 as along with 1 person and 1 group rzach LogicPhilMath
	Why an Expressivist Should Not Commit to Commitment-Semantics [My Copy] Proceedings of the Aristotelian Society, Vol. 105, No. 3. (May 2005), pp. 403-409. by Jorn Sonderholm posted to blackburn consequence expressivism logic pnc quasi-realism by greg_restall on 2005-10-10 10:21:58 as
	Logical Concepts and Logical Inferences [My Copy] Dialectica, Vol. 58, No. 3. (2004), pp. 395-411. by Paolo Casalegno posted to concept deduction inference inferentialism logic meaning natural pnc by greg_restall on 2005-10-07 14:26:56 as
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted to category logic proofnet quantum by greg_restall on 2005-10-06 10:06:38 as along with 6 people christiankissig pqnelson jrw dmitri83 scis0000001 eswar_physics
	The logic of entanglement [My Copy] (2 March 2004) by Bob Coecke posted to category logic proofnets quantum by greg_restall on 2005-10-06 10:05:51 as along with 4 people and 2 groups A_Olympia jrw dmitri83 eswar_physics Philosophy_of_Information Blog_and_Wiki_Research
	Coherence of Proof-Net Categories [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted to category coherence cutelimination logic pnc proofnet studyleave2005 by greg_restall on 2005-09-12 09:38:51 as
	Negation and Involutive Adjunction [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted to coherence logic negation pnc prooftheory studyleave2005 by greg_restall on 2005-09-12 09:38:06 as along with 2 people leemond31 noam_zeilberger
	The Constructive Hilbert Program and the Limits of Martin-Lof Type Theory [My Copy] Synthese, Vol. 147, No. 1. (October 2005), pp. 81-120. by Michael Rathjen posted to logic martin-lf pnc prooftheory typetheory by greg_restall on 2005-09-09 11:59:01 as
	Propositional logic of continuous transformations in Cantor space [My Copy] Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 783-799. by Grigori Mints, Ting Zhang posted to cantor continuous logic modal space transformation by greg_restall on 2005-09-06 15:48:25 as along with 2 people and 2 groups A_Olympia scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
	Modularity of proof-nets [My Copy] Archive for Mathematical Logic, Vol. 44, No. 2. (February 2005), pp. 167-193. by Roberto Maieli, Quintijn Puite posted to logic modularity pnc proofnet prooftheory rewriting slice switching by greg_restall on 2005-09-06 15:44:36 as
	An approach to infinitary temporal proof theory [My Copy] Archive for Mathematical Logic, Vol. 43, No. 8. (November 2004), pp. 965-990. by Baratella, Stefano, Masini, Andrea posted to infinitary logic pnc prooftheory sequent temporal by greg_restall on 2005-09-06 15:36:26 as
	Softness of MALL proof-structures and a correctness criterion with Mix [My Copy] Archive for Mathematical Logic, Vol. 43, No. 6. (2004), pp. 751-794. by Masahiro Hamano posted to correctness gentzen linear logic mix pnc proofnet sequentialisation by greg_restall on 2005-09-06 15:35:01 as
	The logic of equilibrium and abelian lattice ordered groups [My Copy] Archive for Mathematical Logic, Vol. 43, No. 2. (February 2004), pp. 141-158. by Adriana Galli, Renato A. Lewin, Marta Sagastume posted to groups lattice logic nonclassical by greg_restall on 2005-09-06 15:32:14 as
	Some new intuitionistic equivalents of Zornâs Lemma [My Copy] Archive for Mathematical Logic, Vol. 42, No. 8. (November 2003), pp. 811-814. by John L. Bell posted to choice intuitionistic izf logic zorns_lemma by greg_restall on 2005-09-06 15:29:06 as
	L i D Z ? as a basis for PRA [My Copy] Archive for Mathematical Logic, Vol. 42, No. 7. (October 2003), pp. 665-694. by Uwe Petersen posted to arithmetic gentzen induction logic prooftheory recursive sequent by greg_restall on 2005-09-06 15:27:40 as
	Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics [My Copy] History and Philosophy of Logic, Vol. 26, No. 3. (September 2005), pp. 175-209. by Thomas Uebel posted to foundations logic philosophy_of_mathematics tolerance by greg_restall on 2005-09-06 15:14:18 as along with 1 person and 1 group rzach LogicPhilMath
	A Cut-Free Gentzen Formulation of the Modal Logic S5 [My Copy] Logic Journal of the IGPL, Vol. 8, No. 5. (2000), pp. 629-643. by Torben Braüner posted to bibtex-import calculus cut elimination logic modal pnc prooftheory s5 sequent by greg_restall on 2005-07-29 08:22:39 as along with 1 person and 1 group rzach LogicPhilMath
	A Pragmatic Interpretation of Quantum Logic [My Copy] (13 Jul 2005) by Claudio Garola posted to logic physics pluralism quantum truth by greg_restall on 2005-07-20 08:31:46 as along with 1 person jrw
	Models for a paraconsistent set theory [My Copy] Journal of Applied Logic, Vol. 3, No. 1. (March 2005), pp. 15-41. by Thierry Libert posted to category fixed fixpoints logic model paraconsistent paradox point by greg_restall on 2005-07-11 08:21:43 as
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] (27 Jun 2005) by Giorgi Japaridze posted to calculus computability logic pnc proof sequent structure by greg_restall on 2005-06-29 02:41:28 as along with 1 person Anyzev
	Operational semantics for positive R [My Copy] Notre Dame Journal of Formal Logic, Vol. 29, No. 1. (1987), pp. 61-80. by I. L. Humberstone posted to conditional disjunction logic pnc relevant semantics situation by greg_restall on 2005-06-28 06:12:56 as
	The Haskell Road To Logic, Maths And Programming [My Copy] (31 May 2004) by Kees Doets, Jan E. Van posted to haskell logic pnc semantics tableaux by greg_restall on 2005-06-16 21:29:34 as along with 8 people and 1 group dsquared thsutton grzegorz madhadron rgb flashfonic R13 jasmithoffice pileWorks
	Computational Semantics and Type Theory [My Copy] In Computational Semantics and Type Theory (2003) by Jan v. van Eijck posted to haskell logic pnc semantics tableaux by greg_restall on 2005-06-15 23:23:01 as
	The Province of Logic [My Copy] In Contemporary British Philosophy: Third Series (1956), pp. 237-261. by William C. Kneale edited by H. D. Lewis posted to carnap classical contraction gentzen lc2005 logic multiple_conclusion pnc prooftheory sequent substitution tablesofdevelopment by greg_restall on 2005-05-27 07:01:42 as
	True, Truer, Truest [My Copy] Philosophical Studies, Vol. 123, No. 1-2. (March 2005), pp. 47-70. by Brian Weatherson posted to degrees logic truth vagueness by greg_restall on 2005-05-15 07:37:13 as along with 2 people and 2 groups rzach ketangli LogicPhilMath ur-cls
	Interaction Net Implementation of Additive and Multiplicative Structures [My Copy] Journal of Logic and Computation, Vol. 15, No. 2. (April 2005), pp. 219-237. by Ian Mackie posted to interaction lambda logic net normalisation term by greg_restall on 2005-04-08 00:44:14 as
	The Knower Paradox in the Light of Provability Interpretations of Modal Logic [My Copy] Journal of Logic, Language and Information, Vol. 14, No. 1. (January 2005), pp. 13-48. by Paul égré posted to epistemic knower logic modal paradox provability by greg_restall on 2005-04-07 22:48:18 as
	A Brief History of Natural Deduction [My Copy] History and Philosophy of Logic, Vol. 20, No. 1. (1 March 1999), pp. 1-31. by Francis J. Pelletier posted to deduction fitch gentzen history jaskowski lc2005 lemmon logic natural pnc prawitz quine by greg_restall on 2005-03-21 13:08:25 as along with 1 person dakvid
	Making Proofs without Modus Ponens: an introduction to the combinatorics and complexity of cut elimination [My Copy] Bulletin of the American Mathematical Society, Vol. 34 (April 1997), pp. 131-159. by S. Semmes, A. Carbone posted to combinatorics complexity cut_elimination logic pnc prooftheory sequent by greg_restall on 2005-03-18 08:31:31 as
	Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen [My Copy] The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 246-265. by Peter Schroeder-Heister posted to logic pnc prooftheory sequent by greg_restall on 2005-03-16 22:55:55 as along with 2 people and 3 groups A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Identity of Proofs Based on Normalization and Generality [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 477-503. by Kosta Dosen posted to logic normalisation pnc prooftheory by greg_restall on 2005-03-16 11:05:25 as along with 2 people and 1 group rzach yoriyuki LogicPhilMath
	Hypersequent Calculi for Godel Logics - a Survey [My Copy] Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861. by M. Baaz, A. Ciabattoni, C. G. Fermuller posted to gentzen godel hypersequents logic pnc prooftheory sequent by greg_restall on 2005-03-15 07:32:40 as along with 2 people and 1 group rzach htowsner LogicPhilMath
	Quantification Theory in 8 of Principia Mathematica and the Empty Domain [My Copy] History and Philosophy of Logic, Vol. 26, No. 1., 47. by Gregory Landini posted to domain free_logic history logic principia quantification russell by greg_restall on 2005-03-15 00:33:13 as along with 2 people and 1 group rzach mx80 LogicPhilMath
	A Note on the Entscheidungsproblem [My Copy] The Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41. by Alonzo Church posted to church-truring_thesis computability history logic by greg_restall on 2005-03-15 00:32:29 as along with 5 people and 1 group mattmight rzach mx80 ajk d23 LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/user/greg_restall/tag/logic

Result page: 1 2 Next

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

greg_restall's logic [86 articles] Export

greg_restall's tags