adrian_pigors's proof_theory [17 articles] Export

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

Hide details

	Gaggles, Gentzen and Galois: how to display your favourite substructural logic [My Copy] Log. J. IGPL, Vol. 6, No. 5. (1998), pp. 669-694. by Rajeev Goré posted to _copy display_logic gaggle galois_connection proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:50:35 as
	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
	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
	Interpretability of various extensions of arithmetic [My Copy] Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827. by S. V. Goryachev posted to arithmetic consistency _copy _dipl interpretability proof_theory reflection by adrian_pigors on 2008-04-30 10:00:19 as
	Ordinal arithmetic in $ IΔ\sb 0$ [My Copy] In Arithmetic, proof theory, and computational complexity (Prague, 1991), Vol. 23 (1993), pp. 320-363. by Richard Sommer posted to arithmetic _copy _dipl ordinal proof_theory by adrian_pigors on 2008-04-30 09:52:07 as
	On a number theoretic choice schema and its relation to induction [My Copy] In Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y., 1968) (1970), pp. 459-473. by Charles Parsons posted to arithmetic _copy _dipl proof_theory by adrian_pigors on 2008-04-30 09:48:32 as
	On $n$-quantifier induction [My Copy] J. Symbolic Logic, Vol. 37 (1972), pp. 466-482. by Charles Parsons posted to arithmetic _copy _dipl proof_theory by adrian_pigors on 2008-04-30 09:42:59 as
	Fragments of arithmetic [My Copy] Ann. Pure Appl. Logic, Vol. 28, No. 1. (1985), pp. 33-71. by Wilfried Sieg posted to arithmetic _copy _dipl pra proof_theory by adrian_pigors on 2008-04-30 09:37:26 as
	Interpretability in reflexive theories---a survey [My Copy] Theoria, Vol. 63, No. 3. (1997), pp. 182-209. by Per Lindström posted to consistency _copy _dipl interpretability logic proof_theory provability self-reference by adrian_pigors on 2008-04-29 10:48:27 as
	Reflection using the derivability conditions [My Copy] In Logic and algebra (Pontignano, 1994), Vol. 180 (1996), pp. 603-616. by Sean Matthews, Alex K. Simpson posted to arithmetic _copy proof_theory reflection by adrian_pigors on 2008-04-29 10:39:08 as
	Reflection principles and their use for establishing the complexity of axiomatic systems [My Copy] Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 97-142. by G. Kreisel, A. Lévy posted to consistency _copy _dipl proof_theory reflection by adrian_pigors on 2008-04-29 10:32:17 as
	PRA provability of Schmerl's fine structure theorem [My Copy] Rend. Sem. Mat. Univ. Politec. Torino, Vol. 42, No. 2. (1984), pp. 87-106 (1985). by Franco Parlamento posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:21:57 as
	A fine structure generated by reflection formulas over primitive recursive arithmetic [My Copy] In Logic Colloquium '78 (Mons, 1978), Vol. 97 (1979), pp. 335-350. by Ulf R. Schmerl posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:15:13 as
	On the no-counterexample interpretation [My Copy] J. Symbolic Logic, Vol. 64, No. 4. (1999), pp. 1491-1511. by Ulrich Kohlenbach posted to _copy proof_theory by adrian_pigors on 2008-02-22 12:21:59 as
	Logics for termination and correctness of functional programs. II. Logics of strength PRA [My Copy] In Proof theory (Leeds, 1990) (1992), pp. 195-225. by Solomon Feferman posted to _copy pra proof_theory by adrian_pigors on 2008-02-22 12:01:24 as
	Proof-theoretic methods in nonclassical logic---an introduction [My Copy] In Theories of types and proofs (Tokyo, 1997), Vol. 2 (1998), pp. 207-254. by Hiroakira Ono posted to _copy cut_elimination logic proof_theory substructural_logics by adrian_pigors on 2007-12-13 09:54:38 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/proof_theory

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 proof_theory [17 articles] Export

adrian_pigors's tags