greg_restall's semantics [27 articles] Export

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

	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
	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
	Continuations, proofs and tests [My Copy] (9 May 2006) by Stefano Guerrini, Andrea Masini posted to continuation pnc semantics sequent by greg_restall on 2006-05-17 01:09:38 as along with 1 person jrw
	Validity Concepts in Proof-theoretic Semantics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 525-571. by Peter Schroeder-Heister posted to pnc prooftheory semantics validity by greg_restall on 2006-04-26 21:58:29 as
	On the Proof-theoretic Foundation of General Definition Theory [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 589-602. by Lars Hallnas posted to definition pnc prooftheory semantics by greg_restall on 2006-04-26 21:56:54 as
	Proof-theoretic Semantics for Classical Mathematics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 603-622. by William Tait posted to classical mathematics pnc semantics by greg_restall on 2006-04-26 21:56:39 as
	Semantic Values for Natural Deduction Derivations [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 623-638. by Goran Sundholm posted to naturaldeduction pnc semantics by greg_restall on 2006-04-26 21:56:25 as
	Towards a Semantics Based on the Notion of Justification [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 675-699. by Gabriele Usberti posted to justification pnc prooftheory semantics by greg_restall on 2006-04-26 21:55:38 as
	Making Counterfactual Assumptions [My Copy] Journal of Semantics, Vol. 22, No. 2. (15 May 2005), pp. 159-180. by Frank Veltman posted to counterfactual dynamic modality semantics update by greg_restall on 2005-12-12 10:37:35 as along with 3 people and 1 group garyfeng ly3 MorganHill ReadingLab
	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
	Ways Things Can't Be [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 4. (1997), pp. 583-596. by Greg Restall posted to impossible logic mine paraconsistent possible semantics worlds by greg_restall on 2005-03-13 04:21:29 as along with 1 person recordmymind
	The Place of Semantic Theory [My Copy] Pacific Philosophical Quarterly, Vol. 85, No. 4., 454. by Bernhard E. I. S. S. Weiss posted to dummett model putnam realism semantics sense by greg_restall on 2005-03-12 10:32:54 as
	Context-Sensitive Truth-Theoretic Accounts of Semantic Competence [My Copy] Mind & Language, Vol. 20, No. 1. (February 2005), 68. by Steven Gross posted to context semantics truth by greg_restall on 2005-03-12 10:08:19 as along with 2 people wyatt ppagin
	Semantics for Relevant Logics [My Copy] Journal of Symbolic Logic, Vol. 37 (1972), pp. 159-169. by Alasdair Urquhart posted to bibtex-import entailment logic models pnc relevant semantics by greg_restall on 2005-03-12 04:21:12 as
	Carnap's Tolerance, Meaning and Logical Pluralism [My Copy] Journal of Philosophy, Vol. 99 (2002), pp. 426-443. by Greg Restall posted to bibtex-import carnap meaning philosophical_logic pluralism pnc semantics by greg_restall on 2005-03-12 04:21:10 as
	Multiple Conclusions [My Copy] (2004) by Greg Restall posted to anti-realism assertion calculus denial lc2005 multipleconclusion pnc semantics sequent by greg_restall on 2005-03-12 04:21:10 as
	Relevant Logic [My Copy] (1988) by Stephen Read posted to bibtex-import logic pnc relevant semantics substructural by greg_restall on 2005-03-12 04:21:10 as
	Semantics for Finite Delay [My Copy] Theoretical Computer Science, Vol. 176, No. 4. (1997) by C. Hartonas posted to coalgebra concurrency delay fairness final finite semantics bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	A Fixpoint Approach to Finite Delay and Fairness [My Copy] Theoretical Computer Science ((to appear)) by C. Hartonas posted to coalgebra concurrency delay fairness final finite fixpoints mixed semantics bibtex-import by greg_restall on 2005-03-12 04:21:03 as
	Bilattices and the Semantics of Logic Programming [My Copy] Journal of Logic Programming, Vol. 11, No. 2. (1989), pp. 91-116. by Melvin C. Fitting posted to bilattices logic multiple-valued programming semantics bibtex-import by greg_restall on 2005-03-12 04:21:01 as
	The Logical Basis of Metaphysics [My Copy] (1991) by Michael Dummett posted to constructive deduction intuitionistic lc2005 logic natural pnc prooftheory semantics by greg_restall on 2005-03-12 04:21:00 as
	Articulating Reasons: an introduction to inferentialism [My Copy] (2000) by Robert B. Brandom posted to anti-realism bibtex-import inference inferentialism lc2005 pnc realism semantics by greg_restall on 2005-03-12 04:20:57 as
	Inference, Expression, and Induction [My Copy] Philosophical Studies, Vol. 54 (1988), pp. 257-285. by Robert Brandom posted to anti-realism bibtex-import inference inferentialism lc2005 pnc realism semantics by greg_restall on 2005-03-12 04:20:57 as
	Asserting [My Copy] NOÛS, Vol. ? (?), pp. 637-650. by Robert Brandom posted to anti-realism assertion bibtex-import inference inferentialism lc2005 pnc realism semantics by greg_restall on 2005-03-12 04:20:57 as

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

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 semantics [27 articles] Export

greg_restall's tags