greg_restall's Hartonas:C [17 articles] Export

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

	Synchronization Trees and Fairness: a Case Study [My Copy] In Theory and Formal Methods of Computing 1994, Proceedings of the Second Imperial College Workshop (1995), pp. 181-198. by C. Hartonas, Marta Z. Kwiatkowska posted to concurrency delay fairness finite bibtex-import by greg_restall on 2005-03-12 04:21:05 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
	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
	Pretopology Semantics for Bimodal Intuitionistic Linear Logic [My Copy] Journal of the Interest Group in Pure and Applied Logics, Vol. 5, No. 1. (1997), pp. 65-78. by C. Hartonas posted to bibtex-import contraction linear logic pretopology weakening by greg_restall on 2005-03-12 04:21:05 as
	Order-Duality, Negation and Lattice Representation [My Copy] In Negation: Notion in Focus (1996), pp. 27-37. by C. Hartonas edited by H. Wansing posted to lattice negation representation bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	Order-Duality and Negation [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	Intuitionistic Full Bilinear Logic [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	Form Systems and Elementary Universes [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:05 as
	Duality for Lattice-Ordered Algebras and Normal Algebraizable Logics [My Copy] Studia Logica, Vol. 58, No. 3. (1997), pp. 403-450. by C. Hartonas posted to algebras duality lattice lattice-ordered logics representation resource stone substructural bibtex-import by greg_restall on 2005-03-12 04:21:04 as
	Duality for Modal $μ$-Logics [My Copy] Theoretical Computer Science ((To Appear)) by C. Hartonas posted to duality modal mu-calculus stone bibtex-import by greg_restall on 2005-03-12 04:21:04 as
	Duality Theorems for Partial Orders, Semilattices, Galois Connections and Lattices [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:04 as
	Duality Theory for General Lattices and for Lattices with Normal Operators [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:04 as
	Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics [My Copy] by Chrysafis Hartonas posted to bibtex-import by greg_restall on 2005-03-12 04:21:04 as
	An Algebraic Theory of Structured Objects [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 2. (1997) by C. Hartonas posted to bibtex-import identity objects situation structured theory by greg_restall on 2005-03-12 04:21:04 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
	On the Logic of Information Flow [My Copy] Bulletin of the Interest Group in Pure and Applied Logics (IGPL), Vol. 3, No. 1. (1995), pp. 7-49. by J. Barwise, D. Gabbay, C. Hartonas posted to bibtex-import flow information logic by greg_restall on 2005-03-12 04:20:50 as
	Information Flow and the Lambek Calculus [My Copy] In Logic, Language and Computation, Proc. Information-Oriented Approaches to Logic, Language and Computation, Vol. 58 (1996), pp. 47-62. by J. Barwise, D. Gabbay, C. Hartonas edited by J. Seligman, D. Westerst\aahl posted to bibtex-import flow information logic by greg_restall on 2005-03-12 04:20:49 as

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

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.

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 Hartonas:C [17 articles] Export

greg_restall's tags