adrian_pigors's frame [10 articles] Export

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

	A New Semantics for Positive Modal Logic [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 1. (1997), pp. 1-18. by S. Celani, R. Jansana posted to _copy frame kripke modal_logic semantics by adrian_pigors on 2009-02-17 11:31:02 as
	Relational representation theorems for general lattices with negations [My Copy] In Relations and Kleene algebra in computer science, Vol. 4136 (2006), pp. 162-176. by Wojciech Dzik, Ewa Or\lowska, Clint van Alten posted to _copy frame lattice logic negation representation semantics by adrian_pigors on 2008-07-02 11:23:48 as
	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
	Information transfer across Chu spaces [My Copy] Log. J. IGPL, Vol. 8, No. 6. (2000), pp. 719-731. by Johan van Benthem posted to chu_space chu_transform _copy frame modal_logic morphism by adrian_pigors on 2007-12-13 10:16:20 as
	$My PDF or\lowska_06_relational.pdf$ Relational semantics through duality [My Copy] In Relational methods in computer science, Vol. 3929 (2006), pp. 17-32. by Ewa Or\lowska, Ingrid Rewitzky, Ivo Düntsch posted to _copy duality frame semantics by adrian_pigors on 2007-10-29 13:03:54 as
	$My PDF or\lowska_06_relational.pdf$ Relational representability for algebras of substructural logics [My Copy] In Relational methods in computer science, Vol. 3929 (2006), pp. 212-224. by Ewa Or\lowska, Anna M. Radzikowska posted to _copy frame representation substructural_logics by adrian_pigors on 2007-10-29 12:59:07 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/tag/frame

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

adrian_pigors's frame [10 articles] Export

adrian_pigors's tags