greg_restall's tags

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

Privacy Statement | Terms & Conditions

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.