adrian_pigors's Restall:G [8 articles] Export

Recent papers posted to adrian_pigors's library by the author Restall:G. You can also see everyone's Restall:G.

	Defining double negation elimination [My Copy] Logic Jnl IGPL, Vol. 8, No. 6. (1 November 2000), pp. 853-860. by G. Restall posted to _copy frame negation nonclassical_logic substructural_logics by adrian_pigors on 2008-07-02 10:31:38 as along with 1 person MichaelDe
	Displaying and deciding substructural logics. I. Logics with contraposition [My Copy] J. Philos. Logic, Vol. 27, No. 2. (1998), pp. 179-216. by Greg Restall posted to display_logic frame proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:21:03 as
	Combining possibilities and negations [My Copy] Studia Logica, Vol. 59, No. 1. (1997), pp. 121-141. by Greg Restall posted to _copy frame logic modal_logic negation by adrian_pigors on 2008-07-02 10:11:07 as
	Display logic and gaggle theory [My Copy] Rep. Math. Logic, No. 29. (1995), pp. 133-146 (1996). by Greg Restall posted to _copy display_logic frame gaggle proof_theory substructural_logics by adrian_pigors on 2008-07-02 09:50:29 as
	A note on naive set theory in $ LP$ [My Copy] Notre Dame J. Formal Logic, Vol. 33, No. 3. (1992), pp. 422-432. by Greg Restall posted to _copy paraconsistent_logic set_theory by adrian_pigors on 2008-02-05 15:29:58 as
	Paraconsistent logics! [My Copy] Bull. Sect. Logic Univ. \Lódz, Vol. 26, No. 3. (1997), pp. 156-163. by Greg Restall posted to _copy paraconsistent_logic by adrian_pigors on 2008-02-05 15:04:58 as
	Paraconsistency everywhere [My Copy] Notre Dame J. Formal Logic, Vol. 43, No. 3. (2002), pp. 147-156 (2003). by Greg Restall posted to _copy paraconsistent_logic by adrian_pigors on 2008-02-04 10:03:15 as
	An Introduction to Substructural Logics [My Copy] (01 February 2000) by Greg Restall posted to _bib frame kripke logic proof_theory semantics substructural_logics by adrian_pigors on 2007-09-20 12:49:51 as

Note: You may cite this page as: http://www.citeulike.org/user/adrian_pigors/author/Restall:G

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.

_copy	169
category_theory	30
lattice	29
_priv	26
_dipl	26
logic	24
topology	18
modal_logic	17
proof_theory	17
order_theory	17
duality	15
arithmetic	13
fca	13
pra	12
semantics	12
frame_	11
substructural_logics	11
kripke	11
paraconsistent_logic	10
frame	10
canonical_extension	10
locale	9
goedel	9
negation	9
provability	9
relation	9
representation	9
reflection	9
residuation	9
galois_connection	9
completion	8
consistency	8
complete_lattice	8
distributivity	8
incompleteness	8
enriched_category	7
prime_ideal	7
pointfree	7
adjunction	7
foundation	6
bicategory	6
morphism	6
bao	6
pseudocomplement	6
set_theory	5
tensor_product	5
closure_space	5
nucleus	5
ac	5
interpretability	5
linear_logic	5
categorical_logic	5
closure_system	5
stone	5
quantale	4
continuous_lattice	4
institution	4
poset	4
self-reference	4
ordinal	4
chu_space	4
display_logic	3
gaggle	3
macneille	3
modal_operator	3
quantaloid	3
scattered	3
cut	2
topos	2
completely_distributive	2
mv-algebra	2
cut_elimination	2
hilbert	2
_bib	2
_vme	2
turing	2
cartesian_closed_category	2
quantum_logic	2
chu_transform	2
model_theory	2
closure_operator	2
karoubian_envelope	2
diagonalization	2
preconcept	2
heyting_algebra	2
algebraic_logic	2
arithmetization	2
semigroup	2
polarity	2
g-ideal	2
description_logics	2
p-algebra	2
finitism	2
coalgebra	2
information_flow	2
profinite_completion	1
orthomodular_lattice	1
infomorphism	1
axiality	1
implication	1
ontology	1
bisimulation	1
distance	1
monad	1
congruence	1
dipl	1
prime	1
sheaf	1
infinity	1
constructive	1
cardinal	1
ideal	1
prequantale	1
intuitionistic_logic	1
data_mining	1
complement	1
contextual_logic	1
paradox	1
cut-continuous	1
equivalence	1
equational_theory	1
variety	1
term_rewriting	1
g-relation	1
continuity	1
semantic_web	1
computer_science	1
dedekind	1
combinatorics	1
recursion_theory	1
nonclassical_logic	1
game_theory	1

adrian_pigors's Restall:G [8 articles] Export

adrian_pigors's tags